Равносильные преобразования формул

Равносильные преобразования формул используют для доказательств равносильности и приведения формул к более простому виду. Формула А считается проще равносильной ей формуле В, если в ней операции импликации и эквивалентности заменены на конъюнкцию, дизъюнкцию и отрицание, а отрицание относительно лишь к элементарному высказыванию. Равносильность обозначается «»

Закон двойственности

Операция конъюнкция является двойственной для дизъюнкции, а дизъюнкция – двойственной для конъюнкции.

Формула А называется двойственной для формулы В, если все входящие в нее операции заменены на двойственные. Если формулы А и В равносильны, то равносильны и их двойственные формулы.