элементы математической логики булевы функции
таблицы истенности
нормальные формулы
булевы функции
классы поста
операции
штрих шейфера |
эквиваленция ⇔
сумма по модулю 2 ⊕
стрелка пирса ↓
импликация ⇒
дизюнкция ∨
крнюнкция ∧
днф х1 х2 ∨ не х1 х2
кнф (х1 х2) не х2
скнф (х1 х2 х3)∨ (х1 х2 не х3)
сднф х1х2х3
предикаты P(x)
ответ обозначается Т
множество переменных М
с помощью формул сднф и скнф
вектор значения ((f=(0110))последний столбец)
перечисление наборов элементов
таблицы истенности
метод квайна нахождение миню днф
применить все процедуры к сокращенной днф
построить импликационную матрицу
записать формулу в сднф
многочлен Жегалкина
линейный (не содержит произведения)
алгоритм
каждую инверсию заменить по формуле
все ∨ заменить на ⊕
составить сднф
раскрыть скобки
не х = 1⊕х
S - f(0,0)= f не(1,1) и f(0,1) = f не (1,0)
М - после 1 нет 0
в последней строке К1 - f(1...1)=1
L - линейность или не линейность многочлена жегалкина
в первой сроке К0 - f(0...0)=0