Cтраница 1
Логическое высказывание ( выражение) может быть либо истинно, либо ложно. [1]
Основными логическими высказываниями, используемыми в ЭВМ, являются операции: И, ИЛИ и НЕ. Эти высказывания называют сложными. Утверждение об их истинности или ложности можно сделать на основании анализа простых высказываний, из которых эти операции состоят. [2]
Пример синтеза КС с двумя выходами.| Граф автомата. [3] |
Почему логическое высказывание называется сложным. [4]
Параллели логических высказываний с операциями над множествами используются достаточно широко. Событию не А отвечает дополнение А множества А в Г2, а разность А В, или А - Б, интерпретируется как наступление А, но не В. [5]
Отрицание - логическое высказывание, противоположное по значению основному. [6]
Соответствие между логическими высказываниями в математической логике и работой двоичных элементов в схемах телефонной автоматики позволяет при помощи аппарата алгебры логики описывать функциональную работу электронных схем, а также производить анализ и синтез этих схем. [7]
Утверждение называют логическим высказыванием или просто высказыванием. Оценка истинности высказывания является значением истинности. Общие опенки могут быть результатом какого-либо состоявшегося обсуждения. Значением высказывания может быть одна из двух возможностей - истинно или ложно, для обозначения которых будем использовать символы И и Л или 1 и 0 соответственно. Более того, высказывания рассматриваются как имена ( идентификаторы), принимающие значения истинно или ложно. Например, высказывание круг круглый является именем со значением истинно; подобным образом 2 4 и шесть являются именами числа 6 также со значением истинно. Логические системы могут включать такие значения инстин-ности, как неизвестное, неопределенное и возможное, однако мы ограничимся рассмотрением двузначной логики. [8]
Под задачей понимается логическое высказывание. [9]
Такое соответствие между логическими высказываниями в математической логике, двоичными цифрами в двоичной системе счисления и работой двух позиционных элементов и схем в электронных цифровых машинах позволяет с помощью алгебро-логической символики удобно описывать с функциональной точки зрения работу схем и блоков машин и осуществлять их анализ и синтез. Отдельные элементы и схемы, входящие в состав машины, представляют собой, по существу, устройства, реализующие различные логические высказывания. [10]
Алгебра логики оперирует с логическими высказываниями. [11]
В алгебре логики операции выполняются над логическими высказываниями. Под высказыванием понимают любое утверждение, в отношении которого имеет смысл утверждать, истинно оно или ложно. Высказывания могут бы хъ просты ми и сложными: первые не зависят от других высказываний, а вторые образуются из двух или более простых высказываний. [12]
Так как логические выражения сами являются логическими высказываниями со значениями истинности, определяемыми значениями истинности составляющих их высказываний, они могут быть использованы в других сложных логических выражениях. Чтобы указать порядок преобразования выражений в сложных логических выражениях, как и в сложных арифметических выражениях, могут использоваться скобки. Сложные логические выражения, включающие элементарные выражения, такие, как приведенные выше, могут быть преобразованы шаг за шагом путем замещения элементарных выражений их значениями истинности. [13]
Для записи отношений между геометрическими фигурами и различных логических высказываний применена система символов, используемых при изложении курса высшей математики в вузах. [14]
Такое условие алгебры логики приводит к соответствию между логическими высказываниями в математической логике и двоичными цифрами в двоичной системе счисления, что позволяет описывать работу схем и блоков машины и проводить их анализ и синтез с помощью алгебры логики. [15]