Изменения

(A5) & a + b' = (a+b)' \\

(A6) & a + 0 = a \\

(A8) & a \cdot b' = a \cdot b + a \\

(A9) & (\psi [x := 0]) \& \forall{x}((\psi) \rightarrow (\psi) [x := x']) \rightarrow (\psi)\\