Глава IX. Иные разрешающие процедуры.   Дизъюнктивно и конъюнктивно нормальные формы   Нормальные формулы, или точнее, конъюнктивно и дизъюнктивно нормальные формы суть еще одна разрешающая процедура, применяемая в логике высказываний для определения тождественно-истинных и тождественно-ложных формул. Способ, о котором пойдет речь ниже, является альтернативным построению таблиц истинности. Он более сложный, но необычайно важный с точки … Читать далее IX. Иные разрешающие процедуры