Как отличить ложные высказывания от истинных в компьютерных программах?

Чтобы отличить ложные высказывания от истинных в компьютерных программах, используют логические операторы. spravochnick.ru multiurok.ru Они позволяют вычислять истинность и ложность высказываний. spravochnick.ru

Некоторые логические операторы и их свойства:

• Конъюнкция («И»). multiurok.ru otus.ru Выражение истинно, только когда оба простых высказывания тоже выступают в качестве правды. otus.ru Если хотя бы одно из них — ложь, то вся операция примет значение False. otus.ru
• Дизъюнкция («ИЛИ»). multiurok.ru otus.ru Выражение истинно, если хотя бы одно из его составляющих — правда. otus.ru Ложно, когда оба элемента имеют значение False. otus.ru
• Инверсия («НЕ»). multiurok.ru otus.ru Когда исходные данные истины, то результатом станет ложь. otus.ru Если операция обладает значением «ложь», её отрицание получит «истину». otus.ru
• Импликация (следование). umschool.net otus.ru В любом заданном логическом выражении результат — это истина всегда. otus.ru Исключение — когда из правды следует ложь. otus.ru
• Эквивалентность. umschool.net otus.ru Новое высказывание истинно тогда, когда оба простых выражения — это правда. otus.ru

Кроме логических операторов, в программах используют операторы ветвления (if … else, switch…). spravochnick.ru Они позволяют переходить к разным частям программы в зависимости от истинности или ложности вычисленных выражений. spravochnick.ru

Также для определения истинности высказываний используют таблицы истинности. videouroki.net