7
Таблица 2
Код 0 1 2 3 4 5 6 7 10 11 12 13 14 15 16 17
Z1 0 0 x 0 1 0 1 x 1 0 1 0 0 0 x 0
Z2 0 1 0 0 1 0 1 x 0 0 0 x 0 1 x 0
Z3 x 0 1 0 0 0 1 0 0 x x 0 1 0 0 1
Z4 1 1 0 0 0 1 1 x 0 0 0 0 x 0 x 0
Z5 0 0 1 x 1 0 x 1 0 0 x 0 0 0 1 0
Z6 x 0 x x 0 1 0 1 0 1 0 0 0 0 0 0
Z7 0 0 x 0 0 1 1 0 1 0 0 1 x x 0 0
Z8 x 0 0 x 1 0 0 0 0 1 0 0 x 0 1 1
Z9 1 0 0 x 0 0 0 1 0 0 0 1 x 1 x 0
Z10 0 1 0 x 0 0 1 x 1 0 x 1 0 0 0 0
Z11 1 0 0 1 0 0 1 0 1 0 0 x x x 0 0
Z12 0 1 0 0 x 1 0 x 1 0 0 0 x 1 0 0
Z13 0 x 0 0 0 1 0 1 0 1 1 0 0 0 x x
Z14 1 0 0 0 0 1 0 x 1 1 0 0 x 0 x 0
Z15 0 1 x 0 1 1 x 0 x 1 0 0 0 0 0 0
Z16 0 0 0 0 1 x x 0 0 1 1 0 0 1 x 0
Z17 0 1 1 1 0 0 0 x 0 x 0 0 0 1 x 0
Z18 0 x 0 0 0 0 1 1 x 0 0 1 0 x 1 0
Z19 1 0 0 x x 0 0 x 1 0 0 1 0 1 0 0
Z20 1 1 1 0 x 0 0 0 0 1 0 0 0 x x 0
Z21 0 0 x 0 0 x 0 1 1 0 x 0 0 1 1 0
Z22 x 1 1 0 0 0 1 x 0 x 0 0 1 0 0 0
Z23 0 0 x 1 0 1 0 x 1 0 0 x 0 1 0 0
Z24 1 0 x 0 x 0 0 x 1 1 0 0 0 1 0 0
Примечание. Коды наборов переменных даны в таблицах в восьмиричной системе
счисления. На тех кодах наборов, где ФАЛ не определена, проставлена метка (х).
Выполнение лабораторной работы рассмотрим для примера ФАЛ, заданной в
кодированной совершенной дизъюнктивной нормальной форме (СДНФ):
F = 0v3v6v7v13v(2)v(12)v(14).