Logic Tableaux

Tables de vérité pour expressions booléennes : ET, OU, NON, XOR, implication ; jusqu’à 8 variables.