SR_DL_22711_set(1)

			11
			Группа 227.11
			Построить таблицу истинности и	Применяя таблицу истинности,
	№	ФИО		доказать истинность формулы
			найти значение выражения
				(тавтологию)
	1	Акманов Владимир Александрович	(A => не B /\ B) /\ не (B \/ A)	x => (y => y)
	2	Антонов Евгений Олегович	(B => A \/ B <=> A) /\ A	x /\ не y => (не y => x)
	3	Банщиков Владимир Александрович	не A /\ не B \/ (B => не A \/ B)	x \/ y => (не x => y)
	4	Барабаш Семен Евгеньевич	B <=> A => B => A /\ B	(y => (x /\ не y)) => не y
	5	Володин Артем Андреевич	не (не B => A) \/ не (B /\ не (A /\ не B))	y => x \/ (x /\ y \/ не x)
	6	Гердт Игорь Викторович	B => A \/ (A /\ B \/ не A)	не x /\ не y \/ (y => не x \/ y)
	7	Гладун Олег Петрович	не A /\ B /\ A \/ не A \/ не B	( x => y) /\ не y => не x
	8	Калачев Вячеслав Евгеньевич	(не B <=> A) => (не A /\ (B \/ A))	(x \/ y) /\ не x => y
	9	Караленя Владимир Валерьевич	B => не A <=> не B \/ A	(x => не y) /\ x => х
	10	Каргин Артем Владимирович	не (B<=> A) => (B /\ A)	(x => y) \/ (x => не y)
	11	Кириллов Дмитрий Андреевич	не (не (B /\ A) => (B <=> A))	(не x => не y) => ( y =>x)
	12	Конько Дмитрий Вячеславович	(B => (A /\ не A)) => не B	(x => y) => (не x \/ y)
	13	Левитин Николай Леонидович	не (A => B) \/ (не A => не B)	x => (y => x /\ y)
	14	Макаров Виктор Владимирович	A \/ B => (не A => B)	(x => y) \/ (y => x)
	15	Маяков Сергей Викторович	A /\ не B => (не B => A)	(не x => y) => ( не y => x)
	16	Осадчев Николай Константинович	не ((А => В) /\ (В => А))	((x => y) /\ не y) => не х
	17	Редченков Владимир Владимирович	не ((А /\ В) /\ (А => В))	не х => (x => y)
	18	Рзаев Алексей Владимирович	(А => не В) /\ (А <=> В)	(x => y) <=> (не y => не x)
	19	Рыбас Владислав Алексеевич	(А \/ В) /\ (А <=> В)	((x \/ y) /\ не x) => y
	20	Сахно Данил Юрьевич	(А /\ В) /\ (А <=> В)	((x => y) /\ x) => y
	21	Спичкина Вера Александровна	(А => не В) \/ не (А \/ В)	( x => y) /\ не y => не x
	22	Турчина Олеся Денисовна	(B => A \/ B <=> A) /\ A	(не x => не y) => ( y =>x)
	23	Ульзутуев Виталий Олегович	не (не B => A) \/ не (B /\ не (A /\ не B))	( x => y) /\ не y => не x
	24	Цветков Дмитрий Романович	B => A \/ (A /\ B \/ не A)	x => (y => y)
	25	Шишкин Максим Олегович	не (A => B) \/ (не A => не B)	(y => (x /\ не y)) => не y
	26	Вариант № 26	(B => (A /\ не A)) => не B	((x => y) /\ x) => y
	27	Вариант № 27	не (не (B /\ A) => (B <=> A))	(x => y) <=> (не y => не x)
	28	Вариант № 28	не (B<=> A) => (B /\ A)	((x => y) /\ не y) => не х
	29	Вариант № 29	B => не A <=> не B \/ A	(x => не y) /\ x => х
	30	Вариант № 30	(не B <=> A) => (не A /\ (B \/ A))	((x => y) /\ x) => y

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

		12
Составить по функциональной схеме соответствующую ей структурную логическую формулу функции F
№	ФИО	Схема
1	Акманов Владимир Александрович
2	Антонов Евгений Олегович
3	Банщиков Владимир Александрович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

13

4 Барабаш Семен Евгеньевич

5 Володин Артем Андреевич

6 Гердт Игорь Викторович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

14

7 Гладун Олег Петрович

8 Калачев Вячеслав Евгеньевич

9 Караленя Владимир Валерьевич

10 Каргин Артем Владимирович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

15

11 Кириллов Дмитрий Андреевич

12 Конько Дмитрий Вячеславович

13 Левитин Николай Леонидович

14 Макаров Виктор Владимирович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

16

15 Маяков Сергей Викторович

16 Осадчев Николай Константинович

17 Редченков Владимир Владимирович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

17

18 Рзаев Алексей Владимирович

19 Рыбас Владислав Алексеевич

20 Сахно Данил Юрьевич

21 Спичкина Вера Александровна

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

18

22 Турчина Олеся Денисовна

23 Ульзутуев Виталий Олегович

24 Цветков Дмитрий Романович

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

19

25 Шишкин Максим Олегович

26Вариант № 26

27Вариант № 27

28 Вариант № 28

29 Вариант № 29

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013

20

30 Вариант № 30

ФЭБОШ ИЗМОШ

Самостоятельная работа № 1_2 семестр

Группа 227.11_2012-2013