1632
правки
Изменения
м
rollbackEdits.php mass rollback
(A5) & a + b' = (a+b)' \\
(A6) & a + 0 = a \\
(A7) & a \cdot 0 = a 0 \\
(A8) & a \cdot b' = a \cdot b + a \\
(A9) & (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\