Теорема о дизъюнктивной нормальной форме

[j_a_r]

Любая булева функция булевых аргументов может быть представлена в виде дизъюнкции конъюнкций элементарных высказываний и отрицаний элементарных высказываний.

Чё это значит?