Вопрос:

Постройте таблицы истинности для следующих логических выражений: 1) B & (A v B); 2) A & (B v ̄B); 3) A & (A v B v C); 4) A v B v ̄C.

Ответ:

Таблицы истинности для логических выражений

Для решения данной задачи необходимо построить таблицы истинности для каждого из предложенных логических выражений. В таблицах будем использовать следующие обозначения: И - истина (1), Л - ложь (0).

1) B & (A v B)

A B A v B B & (A v B)
Л Л Л Л
Л И И И
И Л И Л
И И И И

2) A & (B v ̄B)

A B ̄B B v ̄B A & (B v ̄B)
Л Л И И Л
Л И Л И Л
И Л И И И
И И Л И И

3) A & (A v B v C)

A B C A v B v C A & (A v B v C)
Л Л Л Л Л
Л Л И И Л
Л И Л И Л
Л И И И Л
И Л Л И И
И Л И И И
И И Л И И
И И И И И

4) A v B v ̄C

A B C ̄C A v B v ̄C
Л Л Л И И
Л Л И Л Л
Л И Л И И
Л И И Л И
И Л Л И И
И Л И Л И
И И Л И И
И И И Л И

Примечание: ̄B и ̄C обозначают отрицание B и C соответственно.

Смотреть решения всех заданий с листа

Похожие