Какие типы логических формул существуют в современной информатике?

Некоторые типы логических формул, которые используются в информатике:

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