Cтраница 3
Запрет - сложное высказывание, которое истинно в случае ложности первого высказывания и истинности второго и ложно во всех остальных случаях. [31]
Придумать самим сложное высказывание, содержащее различные связки, и построить его отрицание непосредственно и при помощи алгебры логики. [32]
Равнозначность - сложное высказывание, истинное, когда А и В оба истинны или оба ложны. [33]
![]() |
Схема, реализу.| Логический элемент ИЛИ-НЕ. [34] |
Операция представляет собой сложное высказывание, которое ложно в случае истинности всех составляющих его высказываний и истинно, если хотя бы одно из составляющих высказываний ложно. [35]
Дизъюнкция представляет собой сложное высказывание, которое ложно только в случае ложности обоих составляющих его высказываний и истинно в остальных случаях. [36]
Значения истинности сложного высказывания yXf Xz представлены ниже. [37]
![]() |
Схема автомата для контроля. [38] |
Из шестнадцати сложных высказываний нужно отобрать четыре таких, при истинности которых цепь питания лампочки должна быть действительно замкнута. [39]
Значение истинности сложного высказывания зависит от значения истинности его компонент - элементарных высказываний. [40]
Связь между простыми и сложными высказываниями устанавливается с помощью логических формул ( связей), состоящих из обозначений высказываний и символов логических операций. Формулы позволяют также выяснить значение истинности сложного высказывания по значениям составляющих его простых. Принято называть простые высказывания логическими переменными, а сложные - логическими функциями этих переменных. [41]
Связь Шеффера - сложное высказывание, которое ложно в том и только в том случае, когда оба составляющих высказывания истинны. [42]
Логическому произведению соответствуют сложное высказывание, состоящее из простых высказываний, соединенных соединительным союзом и, и схема, составленная из последовательно функционирующих реле. [43]
![]() |
Функция Шеффера. [44] |
Функция Шеффера - сложное высказывание, которое ложно а случае истинности составляющих высказываний и истинно во всех остальных случаях. [45]