Для функции (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
101101011
110100000


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

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

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

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

Рейтинг@Mail.ru

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