Содержание:
История логики
Задачи и предмет логики
Понятие высказывания
Логические функции
Таблицы истинности
Схемы
Упражнения и задачи

Таблицы истинности

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



Дмуховский С.В.
25.07.2009
Hosted by uCoz