Предметный указатель

алгебра Жегалкина, 20 логики, 2

булевы операции, 8

ДНФ, 12

дизъюнктивная нормальная форма, 12

единичный набор, 3

замыкание, 22

импликанта, 13

КНФ, 13

класс замкнутый, 22

переменная двоичная, 2 несущественная, 3 фиктивная, 3

принцип двойственности, 19

СДНФ, 7 СКНФ, 13

ФПC, 16

формула булева, 8 над Σ, 5

эквивалентная, 6 функция

алгебры логики, 2 двойственная, 18 линейная, 22 монотонная, 23 самодвойственная, 18 сохраняющая 1, 26

эквивалентные преобразования, 10 элементарная конъюнкция, 12

ядро булевой функции, 15