論理 ろんり がくであれば
nichi ronrigakudeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of 二値論理学

1. If binary logic; If it were binary logic

Ba Conditional