Сопоставьте элементы
- Группы
- Инверсия
- Дизъюнкция
- Конъюнкция
- Импликация
- Эквивалентность
- Варианты
Преобразует истинное высказывание в ложное и, наоборот, ложное – в истинное.
НЕ А, NOT A, ¬A, \(\bar{A}\)
А F\(A\)
0 1
1 0Составное высказывание истинно тогда и только тогда, когда истинно хотя бы одно входящее в него высказывание.
A или B, A ׀ B, A v B, A + B
А В F\(A,B\)
0 0 0
0 1 1
1 0 1
1 1 1Составное высказывание истинно тогда и только тогда, когда истинны все входящие в него простые высказывания.
A и В, А and B, A˄ B, A & B
А В F\(A,B\)
0 0 0
0 1 0
1 0 0
1 1 1Образуется соединением двух высказываний в одно с помощью оборота речи «если …, то …».
A → B, A => B
А В F\(A,B\)
0 0 1
0 1 1
1 0 0
1 1 1Образуется соединением двух высказываний в одно с помощью оборота речи « … тогда и только тогда, когда …».
A ≡ B, A ↔ B, A ~ B
А В F\(A,B\)
0 0 1
0 1 0
1 0 0
1 1 1