Please enable JavaScript.
Coggle requires JavaScript to display documents.
Математическая логика - Coggle Diagram
Математическая логика
операции над высказываниями
отрицание
дизюнкция
конъюнкция
импликация
эквиваленция
стрелка пирса
штрих шеффера
нормальные формы, совершенно нормальные формы
элементарная конъюнкция
элементарная дизъюнкция
ДНФ
КНФ
СДНФ
СКНФ
Виды формул
тождественно истинна и ложна
Равносильные формулы
Многочлен Жегалкина
формула
законы алгебры логики
Метод Квайна
Равносильные формулы