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


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

XY¬YX∨(¬Y)¬XX∧Y(¬X)∧Y(X∧Y)∨((¬X)∧Y)(X∨¬Y)∧(X∧Y∨¬X∧Y)
001110000
010010110
101100000
110101011


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

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

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

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

Рейтинг@Mail.ru

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