Законы логики высказываний

Дистрибутивность конъюнкции относительно

дизъюнкции

p & (q r) ~ ( p & q) ( p & r)

Дистрибутивность дизъюнкции относительно конъюнкции

p (q & r) ~ ( p q) & ( p r)

Истина следует из чего угодно

p (q p)

Из лжи следует что угодно

7 p ( p q)