真偽 しんぎ であれば
shingichideareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 真偽値

1. if it is a truth value; if it’s true

Ba Conditional
Mathematics
Computing