Логическая формула

Cтраница 2

Для логических формул, как и для формул алгебры полиномов, важно уметь обнаруживать эквивалентность двух различно представленных объектов. Методы, используемые для этой цели, подразумевают прежде всего изучение замечательных тождеств, которые задают различные способы представления объекта. А затем удобно бывает задать одну или пару канонических форм представления объектов. В случае с полиномами обычно используют две такие формы: произведение сомножителей минимальной степени и сумму одночленов. Замечательные тождества позволяют более или менее легко перейти от одного представления к другому. [16]

Интерпретация логических формул связывает с каждой формулой некоторую булеву функцию. Теоремы 4 и 5 показывают, что даже некоторого меньшего запаса логических формул ( совершенных нормальных форм) уже достаточно, чтобы задать любую булеву функцию. Согласно теореме 2 имеется всего 22 разных булевых функций п переменных. Число же разных логических формул в БНФ-грамматике, использующей п разных переменных, с очевидностью бесконечно. Таким образом, имеется бесконечное количество формул, задающих одну и ту же функцию, или, как мы будем говорить, эквивалентных формул. [17]

Среди логических формул естественно выделяются такие, которые задают тождественно истинную булеву функцию. Эти формулы называются общезначимыми, тавтологиями, или логическими законами. [18]

Использование логических формул позволяет сравнительно легко описать сложные ло ические связи, существующие между элементами. [19]

Кроме логических формул, выражающих связь фактов, любая теория содержит истинные факты, на основе которых становится возможным конкретная интерпретация ППФ. [20]

Смысл логических формул в точности соответствует их смыслу как логических выражений языка паскаль. Заметим лишь, что в логических формулах в отличие от логических выражений па-скаля в качестве переменных мы допускаем для простоты только однобуквенные идентификаторы. [21]

Кроме логических формул, выражающих связь фактов, любая теория содержит истинные факты, на основе которых становится возможным конкретная интерпретация ППФ. [22]

Построить логическую формулу ( и на ее основе - уравнение) соединения переключателей х19 х2, х3, при котором цепь замкнута тогда, и только тогда, когда хотя бы один из переключателей выключен. [23]

По упрощенной логической формуле строится функциональная схема устройства, причем минимальному числу и однородности логических элементов отдается предпочтение. [24]

По упрощенной логической формуле строится функциональная схема устройства, причем минимальному числу и однородности логических элементов отдается предпочтение. [25]

По заданной логической формуле построить эквивалентную логическую формулу, в которой знак отрицания встречается только перед переменными. [26]

По заданной логической формуле определить, сохраняет ли она свое значение при любой перестановке значений аргументов. [27]

В логических формулах, которые блок Р анализирует, сложные условия заключены обычно в квадратные ( логические) скобки. [28]

В логических формулах Суперкалька используются операции сравнения, которые позволяют сравнивать числовые значения. [29]

Схема Яяова. [30]

Страницы: 1 2 3 4