Since these two interpretations for F are the only possible logical interpretations, and since F comes out True for both, we say that it is logically valid or tautologous.
Так як дві інтерпретації для F є єдиними можливими логічної інтерпретації, і так як F виходить вірно для обох виразів, ми говоримо, що F є дійсним або тавтологічним.