Please enable JavaScript.
Coggle requires JavaScript to display documents.
элементы математической логики булевы функции - Coggle Diagram
элементы математической логики булевы функции
таблицы истенности
операции
штрих шейфера |
эквиваленция ⇔
сумма по модулю 2 ⊕
стрелка пирса ↓
импликация ⇒
дизюнкция ∨
крнюнкция ∧
нормальные формулы
днф х1
х2 ∨ не х
1 х2
сднф х1
х2
х3
кнф (х1
х2)
не х2
скнф (х1
х2
х3)∨ (х1
х2
не х3)
булевы функции
с помощью формул сднф и скнф
вектор значения ((f=(0110))последний столбец)
перечисление наборов элементов
таблицы истенности
классы поста
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
предикаты P(x)
ответ обозначается Т
множество переменных М
метод квайна нахождение миню днф
применить все процедуры к сокращенной днф
построить импликационную матрицу
записать формулу в сднф
многочлен Жегалкина
линейный (не содержит произведения)
алгоритм
каждую инверсию заменить по формуле
не х = 1⊕х
все ∨ заменить на ⊕
составить сднф
раскрыть скобки