Дизъюнктивная и конъюнктивная нормальные формы алгебры высказываний

 

Пример 3.

Пример 4.

 

Совершенные дизъюнктивная и конъюнктивная нормальные формы алгебры высказываний

 

Пример 5.

Пример 6.

 

Принципы построения формальных теорий

 

 

Исчисление высказываний.