10класс

Страница 195-197 параграф 19 номер 5, ГДЗ по информатике за 10 класс к учебнику Босовой

Номер 5. Логическое выражение, являющееся истинным при любом наборе входящих в него переменных, называется тождественно истинным. Убедитесь, что следующие логические выражения являются тождественно истинными:
1) A → (BA);
2) (AB) → (BA);
3) (A & CB) → (C → (ABB & C)).

1)

A
B
B→A
A→( B→A)
0
0
1
1
0
1
0
1
1
0
1
1
1
1
1
1

2)

A
B
¬ A
¬ B
A→ ¬B
B→ ¬A
(A→ ¬B) → (B→ ¬A)
0
0
1
1
1
1
1
0
1
1
0
1
1
1
1
0
0
1
1
1
1
1
1
0
0
0
0
1

3)

A
B
C
A&C
B&C
A∨B
A&C→B
A∨B→ B&C
C→(A∨B→ B&C)
F
0
0
0
0
0
0
1
1
1
1
0
0
1
0
0
0
1
1
1
1
0
1
0
0
0
1
1
0
1
1
0
1
1
0
1
1
1
1
1
1
1
0
0
0
0
1
1
0
1
1
1
0
1
1
0
1
0
0
0
1
1
1
0
0
0
1
1
0
1
1
1
1
1
1
1
1
1
1
1
1
Сообщить об ошибке

Не получилось открыть форму обратной связи.
Напишите нам: nqzva@cbzbtnyxn.zr