¬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