Пусть111Проверьте, истинно ли утверждение:


1	1	1

Пусть


0	0	1

Проверьте, истинно ли утверждение: $(P \to (Q \to R)) \to ((P \to Q) \to (P \to R))$

Пусть


0	1	1

Проверьте, истинно ли утверждение: $(P \to (Q \to R)) \to ((P \to Q) \to (P \to R))$

Пусть


1	0	1

Проверьте, истинно ли утверждение: $(P \to (Q \to R)) \to ((P \to Q) \to (P \to R))$

Пусть


0	0	0

Проверьте, истинно ли утверждение: $(P \to (Q \to R)) \to ((P \to Q) \to (P \to R))$

Даны значения логических переменных X, Y, Z и значения их логических функций: F1, F2, F3, F4, F5, F6, G . Можно ли утверждать, что функция G не следует из функций как из посылок. Да - 1. Нет - 0.


0	0	0	1	1	1	0	1	0	0

Даны значения логических переменных X, Y, Z и значения их логических функций: F1, F2, F3, F4, F5, F6, G . Можно ли утверждать, что функция G не следует из функций как из посылок. Да - 1. Нет - 0.


0	0	0	1	0	0	1	0	0	0

Даны значения логических переменных X, Y, Z и значения их логических функций: F1, F2, F3, F4, F5, F6, G . Можно ли утверждать, что функция G не следует из функций как из посылок. Да - 1. Нет - 0.


0	0	0	0	1	0	0	1	1	0

Пусть и - высказывания (логические переменные). Их значения заданы в таблице. $Z=X^{\wedge}Y; Z1=XVY$ . (То есть: Z=X и ; Z1=X или .) Каково логическое значение выражения: и .


1	1

Пусть и - высказывания (логические переменные). Их значения заданы в таблице. $Z=X^{\wedge}Y; Z1=XVY$ . (То есть: Z=X и ; Z1=X или .) Каково логическое значение выражения: и .


1	0

Пусть и - высказывания (логические переменные). Их значения заданы в таблице. $Z=X^{\wedge}Y; Z1=XVY$ . (То есть: Z=X и ; Z1=X или .) Каково логическое значение выражения: и .


1	1

Математическая логика

Пусть
1 1 1
Проверьте, истинно ли утверждение: $(P \to (Q \to R \to R)) \to ((P \to Q) \to (P \to R))$