Каковы основные логические операции над высказываниями?

Основные логические операции над высказываниями:

1. Логическое отрицание (инверсия). in.lit.msu.ru www.yaklass.ru Делает ложное высказывание истинным, а истинное — ложным. www.yaklass.ru
2. Логическое сложение (дизъюнкция). in.lit.msu.ru www.yaklass.ru Дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны. www.yaklass.ru
3. Логическое умножение (конъюнкция). in.lit.msu.ru www.yaklass.ru Конъюнкция двух высказываний истинна тогда и только тогда, когда оба высказывания истинны. www.yaklass.ru
4. Логическое следование (импликация). in.lit.msu.ru Высказывание ложно тогда и только тогда, когда одно из высказываний истинно, а другое — ложно. in.lit.msu.ru
5. Эквивалентность (равносильность). in.lit.msu.ru Высказывание истинно тогда и только тогда, когда значения обоих высказываний совпадают. in.lit.msu.ru