Поможем написать любую работу на аналогичную тему
Получить выполненную работу или консультацию специалиста по вашему
учебному проекту
Узнать стоимость
Негативом формулы А называют формулу, полученную заменой входящих в нее высказываний на противоположный знак конъюнкции и дизъюнкции, и наоборот. Для этого нужно добиться, чтобы формула А была записана через отрицание дизъюнкции и конъюнкции.
Внимание!
Если вам нужна помощь в написании работы, то рекомендуем обратиться к
профессионалам. Более 70 000 авторов готовы помочь вам прямо сейчас. Бесплатные
корректировки и доработки. Узнайте стоимость своей работы.
Теорема. Пусть А – формула, составленная из простых с помощью отрицания дизъюнкции и конъюнкции, и пусть 
- негатив формулы А. Тогда 
является тавтологией.