upd

logic/notes.typ

@@ -184,11 +184,11 @@ $
 Пусть $A$ - ложь (0), $B$ - истина (1).
 
 $
-A arrow B eq 1 
-B arrow A eq 0 
-not A arrow B eq 1  
-not B arrow A eq 1 
-not B arrow not A eq 1  
+A arrow B eq 1  \
+B arrow A eq 0  \
+not A arrow B eq 1 \  
+not B arrow A eq 1 \
+not B arrow not A eq 1 \  
 not A arrow not B eq 0
 $