Негатив формулы. Теорема о негативе

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

Теорема. Пусть А – формула, составленная из простых с помощью отрицания дизъюнкции и конъюнкции, и пусть - негатив формулы А. Тогда является тавтологией.