|
Таблицы истинности
Приведенные выше определения можно свести в таблицу, которая называется таблицей истинности:
Приведенные выше определения можно свести в таблицу, которая называется таблицей истинности:
- первым действием выполняется отрицание
- конъюнкция выполняется раньше, чем все остальные операции за исключением отрицания
- дизъюнкция выполняется раньше, чем импликация и эквивалентность
Проверим равносильность формул:
- A→B=¬A+B
- A(A+B)=A
- A+AB=A
- ¬(AB)=¬A+¬B
- ¬(A+B)=¬A&¬B
Решение:
- A→B=¬A+B
- A(A+B)=A
- A+AB=A
- ¬(AB)=¬A+¬B
- ¬(A+B)=¬A&¬B
Все высказывания истинны при любых значениях А и В.
Если в результате составления таблицы истинности окажется во всех строках ЛОЖЬ, такое высказывание называется ложным при всех значениях А и В.
 |
 |
 |
|
Дмуховский С.В.
25.07.2009
|
