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

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

• Инверсия (отрицание). dl.my1.ru infourok.ru Делает истинное высказывание ложным и наоборот, ложное — истинным. dl.my1.ru
• Конъюнкция (логическое умножение, логическое «И»). dl.my1.ru infourok.ru Результат операции истинен тогда и только тогда, когда истинны все входящие в неё простые высказывания. dl.my1.ru
• Дизъюнкция (логическое сложение, логическое «ИЛИ»). dl.my1.ru infourok.ru Результат операции истинен тогда, когда истинно хотя бы одно из входящих в неё простых высказываний. dl.my1.ru
• Импликация (логическое следование). dl.my1.ru in.lit.msu.ru Результат операции ложен тогда и только тогда, когда из истинной предпосылки (первого высказывания) следует ложный вывод (второе высказывание). dl.my1.ru
• Эквивалентность (равносильность). in.lit.msu.ru profbeckman.narod.ru Высказывание истинно тогда и только тогда, когда значения двух высказываний совпадают. in.lit.msu.ru
• Исключающее «ИЛИ» (сложение по модулю два). in.lit.msu.ru Результат операции истинен тогда, когда истинно только одно из входящих в неё простых высказываний, но не оба одновременно. dl.my1.ru