Нормальные формы в логике высказываний
.pdf
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Нормальные формы в логике высказываний
23 февраля 2015 г.
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Нормальные формы в логике высказываний
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Таким образом, X è :X элементарные конъюнкции
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Таким образом, X è :X элементарные конъюнкции
Формула X ^Y ^1 элементарной конъюнкцией не является,
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Таким образом, X è :X элементарные конъюнкции
Формула X ^Y ^1 элементарной конъюнкцией не является, так как содержит константу 1
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Таким образом, X è :X элементарные конъюнкции
Формула X ^Y ^1 элементарной конъюнкцией не является, так как содержит константу 1 (хотя легко приводится к равносильной элементарной конъюнкции)
Нормальные формы в логике высказываний
Определения Дизъюнктивная нормульная форма Приведение формулы к ДНФ
Совершенная дизъюнктивная нормальная форма Конъюнктивные нормальные форма
Определение
Формула называется элементарной конъюнкцией, если она представляет собой конъюнкцию логических переменных и их отрицаний
Например, X ^:Y ^Z элементарная конъюнкция
Формула, состоящая из одной логической переменной, тоже являются элементарными конъюнкциями
Таким образом, X è :X элементарные конъюнкции
Формула X ^Y ^1 элементарной конъюнкцией не является, так как содержит константу 1 (хотя легко приводится к равносильной элементарной конъюнкции)
Формула :(X ^Y ) не является элементарной конъюнкцией,
Нормальные формы в логике высказываний