Логические функции. Формализация сложных выражений.

Задание 1

1. A и B => ¬ C
   B => A
   B и ¬ C и D <=> A
2. A-Маша заставляет
    B-Ваня делает домашнее задание Маши
    C- Маша любит Ваню
    D- Ваня хочет любви
1) Маша заставляет, следовательно, Ваня делает домашнее задание Маши, и Маша любит Ваня, и Ваня хочет любви.
2) Маша заставляет тогда и только тогда, когда Ваня делает домашнее задание Маши, и Маша не любит Ваню, и Ваня хочет любви.
3) Маша заставляет тогда и только тогда, когда Ваня делает домашнее задание Маши, или Маша любит Ваню, или Ваня хочет любви.
4) Маша заставляет, следовательно,Ваня делает домашнее задание Маши, и Маша не любит Ваню, и Ваня хочет любви.
5) Маша заставляет тогда и только тогда, когда Ваня делает домашнее задание Маши, и Маша любит Ваню, и Ваня хочет любви.


Задание 2
1)

x	y	z	Not y	X or not y	Not (x or not y)	Not x	Not (x&y)	Not (x or not y) or not (x&z)
0	0	0	истина	ложь	истина	истина	ложь	истина
0	0	1	истина	ложь	истина	истина	истина	истина
0	1	0	ложь	истина	ложь	истина	ложь	ложь
0	1	1	ложь	истина	ложь	истина	истина	истина
1	0	0	истина	истина	ложь	ложь	ложь	ложь
1	0	1	истина	истина	ложь	ложь	ложь	ложь
1	1	0	ложь	истина	ложь	ложь	ложь	ложь
1	1	1	ложь	истина	ложь	ложь	ложь	ложь