(A ^ B) → C. ~ (A ^B)
c) Таблицы истинности
составных высказываний (формул), образованных при помощи логических констант (~, ^, v, →, ↔)
Таблицы истинности наглядным образом определяют значение истинности составных высказываний (формул), образованных различными константами.
ОТРИЦАНИЕ
| A | ~ | A |
| O | ||
| O | O |
ДИЗЪЮНКЦИЯ КОНЬЮНКЦИЯ
| А | А v В | В |
| О | ||
| О | ||
| О | О | О |
| А | А ^ В | В |
| О | ||
| О | О | |
| О | О | О |
Конъюнкция двух или более высказываний имеет значение истинности «истинно», (А ^ В) = 1, если и только если составляющие конъюнкцию высказывания равным образом истинны.
Дизъюнкция двух и более высказываний имеет значение истинности «ложно», (A v B) = 0, если и только если составляющие конъюнкцию высказывания равным образом ложны.
ИМПЛИКАЦИЯ
| А | А → В | В |
| О | О | |
| О | ||
| О | О |
Импликация имеет значение истинности «ложно» в том и только в том случае, когда ее посылка (антецедент) истинна, а заключение (консеквент)ложно.
ЭКВИВАЛЕНТНОСТЬ
| А | А ↔ В | В |
| О | О | |
| О | О | |
| О | О |
Эквивалентность имеет значение истинности «истинно» тогда и только тогда, когда оба ее члена одновременно либо истинны, либо ложны.