Для функции (X∨Y)∧(¬X∨Y)∧(¬X∨¬Y):


Общая таблица истинности:

XYX∨Y¬X(¬X)∨Y¬Y(¬X)∨(¬Y)(X∨Y)∧((¬X)∨Y)(X∨Y)∧(¬X∨Y)∧(¬X∨¬Y)
000111100
011110111
101001100
111010010


Совершенная конъюнктивная нормальная форма (СКНФ):

По таблице истинности:
XYF
000
011
100
110
Fскнф = (X∨Y) ∧ (¬X∨Y) ∧ (¬X∨¬Y)

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2018, Список Литературы