Logic Tableaux
Tables de vérité pour expressions booléennes : ET, OU, NON, XOR, implication ; jusqu’à 8 variables.
About this tool
Truth table for a Boolean expression. Up to 8 variables (256 rows).
Operators
! & | ^ -> <-> plus NAND NOR XNOR and literals 0/1.
Example
(A & B) | (!A & C)