2
Стиснення булевих формул
Синтаксис ~НЕ /\і \/чи tсправжні fпомилкові P, Q, FISHі т.д .: змінні (Оператори задаються в порядку черговості) Вступ Деякі булеві формули можна змінити на різні форми, щоб зробити їх коротшими. Наприклад, формула ~(~P /\ ~Q) може бути змінено на більш коротку форму P\/Q при цьому формула P \/ ~P може …