Студопедия  
Главная страница | Контакты | Случайная страница

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

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

Читайте также:
  1. Административные и социально-политические преобразования
  2. Аналого-цифровые преобразователи. Принцип преобразования.
  3. В в мир истории. Осн напр европеизации страны в 1 четв 18 в. Формирование российского абсолютизма в первой четверти 18 века. Преобразования Петра 1.
  4. Военные преобразования при Иване Грозном.
  5. Вопрос 38. Октябрь 1917 г. и первые преобразования Советской власти.
  6. Вопрос. Ряды распределения, их виды. Правила построения рядов распределения. Методы преобразования рядов распределения.
  7. ВСЕ ПРЕОБРАЗОВАНИЯ ИМЕЛИ СВОЕЙ ЦЕЛЬЮ В ПЕРВУЮ ОЧЕРЕДЬ УКРЕПЛЕНИЕ МОЩИ ГОСУДАРСТВА И ЦАРСКОЙ ВЛАСТИ.
  8. Вывод рабочих формул.
  9. Государственные преобразования в России первой четверти XIX в. Правление Александра I.
  10. Закономерности филогенеза систем органов. Пути эволюционного преобразования органов. Рудименты, а атавизмы.

Используя равносильности, приведенные выше, можно заменить часть формулы или всю формулу равносильной ей формулой. Это преобразование называют равносильным преобразованием данной формулы.

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

Равносильные преобразования формул применяются также для приведения формул к специальному виду или к специальной форме, к так называемой совершенной дизъюнктивной нормальной форме или к совершенной конъюнктивной нормальной форме.

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

Пример. Упростить формулу .

Запишем последовательность равносильных формул




Дата добавления: 2014-12-18; просмотров: 37 | Поможем написать вашу работу | Нарушение авторских прав




lektsii.net - Лекции.Нет - 2014-2024 год. (0.006 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав