Расчетно-графическая работа № 2

«Логика высказываний»

Расчетно-графическая работа состоит из 2 заданий.

Работа представляется на проверку в письменном виде (тетрадь в клеточку – 12 листов).

При выполнении заданий необходимо подробно рассмотреть каждое отдельное задание и представить условие задания и его подробное решение (БЕЗ РЕШЕНИЯ РАБОТА ПРИНИМАТЬСЯ НЕ БУДЕТ).

Задание 1

Для заданной схемы, составленной из трех логических элементов Э1, Э2, Э3, определить, какое значение будет на выходе схемы для вариантов:

- с 1 по 6 - при х=1, у=1 и z=0;

- с 7 по 12 – при х=0, у=1 и z=1;

- с 13 по 18 - при х=0, у=1 и z=0;

- с 19 по 23 - при х=1, у=0 и z=0;

- с 24 по 30 - при х=1, у=0 и z=1.

Вариант схемы берётся из рис. 1, вариант типов элементов Э1, Э2 и Э3 берется из табл. 1 согласно последней цифре номера списка журнала преподавателя.

Таблица 1

Элемент в схеме	Тип элемента
Э1	И	ИЛИ	И-НЕ	И	И-НЕ	И	ИЛИ	ИЛИ	И-НЕ	И
Э2	ИЛИ	И	ИЛИ	И-НЕ	ИЛИ	ИЛИ-НЕ	И	И-НЕ	ИЛИ	ИЛИ
Э3	И-НЕ	ИЛИ-НЕ	И	ИЛИ	И	ИЛИ	И-НЕ	И	И	ИЛИ-НЕ

Рис. 1. Варианты логических схем

Задание №2

В 1-м задании построить таблицу истинности для формулы (НЕ ПРИМЕНЯЯ ЗАКОНОВ ЛОГИКИ).

Во 2-м задании необходимо по заданной формуле построить логическую схему.

В 3-м задании требуется восстановить формулу по заданной логической схеме.

Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((C^A)→(A^ØD))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((ØC^A) →Ø(AÚØD))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы (Ø(ØAÚD) → (DÚC))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((ØCÚØB) → (ØC^A))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((DÚØC) → (A^D))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø(Ø(ØCÚA) →Ø(AÚD))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((ØCÚA) → (A^D))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы (Ø(ØC^A) → (ØCÚB))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((ØCÚØB) → (DÚØC))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((C^ØA) → (ØA^D))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((ØC^ØA) → (ØAÚD))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((AÚD) → (DÚC))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((A^D) →Ø(ØCÚA))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((AÚD) → (C^A))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø(Ø(DÚC) →Ø(CÚØB))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((CÚØB) →Ø(C^ØA))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((ØAÚØD) →Ø(ØD^C))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((AÚØD) →Ø(ØDÚC))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((ØC^B) → (DÚØC))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы ((CÚØB) → (CÚØA))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((D^ØC) → (ØCÚØB))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((ØCÚA) →Ø(ØCÚØB))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø((CÚA) →Ø(C^B))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø(Ø(CÚØB) → (D^C))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:
Вариант		Содержание задачи
		Составить таблицу истинности для формулы Ø(Ø(CÚØA) → (ØAÚD))
	Для данной формулы составить логическую схему:
	По логической схеме восстановить исходную логическую формулу:

Дата добавления: 2014-12-08