Logiceasy
0:00.0

Evaluate True(FalseTrue)True \lor (False \land True).