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

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

• Отрицание (инверсия, логическое НЕ). skyteach.ru resh.edu.ru Делает ложное высказывание истинным, а истинное — ложным. skyteach.ru
• Логическое сложение (дизъюнкция, логическое ИЛИ). skyteach.ru resh.edu.ru Высказывание истинно, если хотя бы одно из простых логических выражений истинно, и ложно, когда оба ложны. skyteach.ru
• Логическое умножение (конъюнкция, логическое И). skyteach.ru resh.edu.ru Высказывание истинно только в том случае, когда оба простых выражения истинны, во всех остальных случаях оно ложно. skyteach.ru
• Логическое следование (импликация). skyteach.ru resh.edu.ru Связывает два простых логических выражения, из которых первое (А) является условием, а второе (В) — следствием. skyteach.ru Высказывание ложно, когда первое истинно, а второе ложно. in.lit.msu.ru
• Логическая эквивалентность (равносильность). skyteach.ru Высказывание истинно, когда оба простых логических выражения имеют одинаковую истинность. skyteach.ru
• Исключающее ИЛИ (сложение по модулю два). in.lit.msu.ru Высказывание истинно, когда А и В не равны. in.lit.msu.ru