В¬A & B & В¬C A & В¬B & C В¬A V B V В¬C
(A V ¬B) V CA & B & C¬(A V ¬B) V C
A V B V C¬A V ¬B V ¬C ¬A & B & C
В¬A V B V В¬C В¬A V B V C A & B & В¬C
¬A & B & ¬C¬A V B V ¬CA & ¬B & C
если условие А влечет следствие В, но В не выполнено, то не выполнено само условие Ане могут быть одновременно истинны утвердения и его отрицание
А и не А = 0А или не А = 1А и не А = 1
не А или не Вне А и не В не (А или В)
A \/ BA /\ B¬A \/ ¬B¬A /\B