Вы находитесь на странице: 1из 20

Московский Авиационный Институт

(Национальный Исследовательский Университет)


Факультет №3 «Системы Управления, Информатика и
Электроэнергетика»
Кафедра №302

Отчёт
По лабораторной работе
Учебная дисциплина: «Дискретная математика и математическая логика»
Тема: «Функции алгебры логики»

Группа 3О-107Б
Бригада №20
Сдал:
Бетехтин М.С.
Приняли:
Судаков Владимир Анатольевич
Ескин Владимир Иванович

2016 г., Москва.


Содержание

Метод: test_bool………………………………………………….……………......3

Решения и таблицы истинности для test_bool…………………………………..5

Метод: blackbox…………………………………………………………………...8
Метод: test_logic…………………………………………………………………15

Вывод……………………………………………………………………………..20

2
Метод: test_bool

Задание и проверка решений:

3
4
Решения и таблицы истинности для test_bool.
Таблицы истинности для № 0-4. Т.к. в ФАЛ 4 аргумента, то имеет 16
строк:
x0 x1 x2 x3 f0 f1 f2 f3 f4
0 0 0 0 0 0 0 1 0
0 0 0 1 0 0 0 1 1
0 0 1 0 0 0 0 1 0
0 0 1 1 0 0 1 1 0
0 1 0 0 0 0 0 0 0
0 1 0 1 0 0 0 0 1
0 1 1 0 0 0 0 1 0
0 1 1 1 0 0 1 1 1
1 0 0 0 0 0 0 1 0
1 0 0 1 0 0 0 1 0
1 0 1 0 0 0 0 1 0
1 0 1 1 0 0 1 0 1
1 1 0 0 1 0 0 1 0
1 1 0 1 1 0 0 1 0
1 1 1 0 0 0 0 1 0
1 1 1 1 0 0 1 1 0

Таблица истинности для № 5:


x0 x1 x2 1) 2) 3) 4) 5) 6)
0 0 0 0 1 0 0 0 0
0 0 1 1 1 0 0 0 0
0 1 0 0 1 0 0 0 0
0 1 1 1 1 0 0 0 0
1 0 0 0 1 0 0 0 1
1 0 1 0 1 1 0 0 1
1 1 0 0 1 0 0 0 1
1 1 1 0 1 1 0 0 1
x0 x1 x2 7) 8)
0 0 0 0 0
0 0 1 0 0
0 1 0 0 0
0 1 1 0 0
1 0 0 0 0
1 0 1 0 0
1 1 0 0 0
1 1 1 0 0
Выполнимой будет ФАЛ, имеющая хотя бы одну «1» в результирующем
числе. Из таблицы видно, что таковыми будут 1), 2), 3), 6).

5
Таблицы истинности для № 6:
Чтобы ФАЛ являлась тавтологией – результирующее число должно состоять
полностью из «1», т.е. всегда истинно.
1)
х0 х1 1)
0 0 0
0 1 0
1 0 0
1 1 1
Не является тавтологией, т.к. есть строчки равные 0.

2)
x0 x1 x2 2)
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Является тавтологией, т.к. все строчки равны 1.

3)
х0 3)
0 1
1 1
Является тавтологией, т.к. все строчки равны 1.

4)
x0 x1 x2 4)
0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Не является тавтологией, т.к. есть строчки равные 0.

6
5)
x0 x1 x2 5)
0 0 0 1
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1
Не является тавтологией, т.к. есть строчки равные 0.

6)
x0 x1 x2 6)
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
Является тавтологией, т.к. все строчки равны 1.

7)
х0 х1 7)
0 0 1
0 1 1
1 0 0
1 1 1
Не является тавтологией, т.к. есть строчки равные 0.

7
Таблицы истинности для № 7:
Высказывание будет являться логическим следствием другого, тогда и
только тогда, когда для всех строк таблицы истинности, где высказывание 1)
= 1, там и высказывания 2) - 10) = 1.
X0 x1 x2 1) 2) 3) 4) 5) 6)
0 0 0 0 1 0 1 0 0
0 0 1 1 1 0 1 0 0
0 1 0 0 1 0 1 0 0
0 1 1 0 1 0 1 0 0
1 0 0 0 0 0 0 0 1
1 0 1 0 1 0 0 0 0
1 1 0 0 1 1 0 0 1
1 1 1 1 1 1 0 0 1
x0 x1 x2 7) 8) 9) 10)
0 0 0 1 1 1 0
0 0 1 1 0 1 0
0 1 0 0 1 0 0
0 1 1 0 0 1 0
1 0 0 0 0 0 0
1 0 1 1 0 0 0
1 1 0 0 1 0 0
1 1 1 1 0 1 0

Из таблицы видим, что логическим следствием высказывания 1) являются


высказывания 1), 2), 7) и 9).
Метод: blackbox
Задание:

8
1) Исходная таблица истинности:
х0 х1 х2 х3 х4 F(x0,x1,x2,x3,x4,)
0 0 0 0 0 1
0 0 0 0 1 0
0 0 0 1 0 1
0 0 0 1 1 0
0 0 1 0 0 0
0 0 1 0 1 1
0 0 1 1 0 1
0 0 1 1 1 0
0 1 0 0 0 1
0 1 0 0 1 0
0 1 0 1 0 1
0 1 0 1 1 0
0 1 1 0 0 0
0 1 1 0 1 1
0 1 1 1 0 1
0 1 1 1 1 0
1 0 0 0 0 0
1 0 0 0 1 0
1 0 0 1 0 0
1 0 0 1 1 1
1 0 1 0 0 0
1 0 1 0 1 0
1 0 1 1 0 0
1 0 1 1 1 1
1 1 0 0 0 0
1 1 0 0 1 0
1 1 0 1 0 0
1 1 0 1 1 1
1 1 1 0 0 0
1 1 1 0 1 0
1 1 1 1 0 0
1 1 1 1 1 1
Х0-существенный, т.к. F (0, x1, x2, x3, x4) ≠ F (1, x1, x2, x3, x4)
X1-фиктивный, т.к. F (х0, 0, x2, x3, x4) = F (х0, 1, x2, x3, x4)
Х2-существенный, т.к. F (х0, x1, 0, x3, x4) ≠ F (х0, x1, 1, x3, x4)
Х3-существенный, т.к. F (х0, x1, x2, 0, x4) ≠ F (х0, x1, x2, 1, x4)
Х4-существенный, т.к. F (х0, x1, x2, x3, 0) ≠ F (х0, x1, x2, x3, 1)

9
Таблица, полученная в результате удаления фиктивной переменной Х1:

x0 х2 х3 х4 F(x0,x1,x2,x3,x4,)
0 0 0 0 1
0 0 0 1 0
0 0 1 0 1
0 0 1 1 0
0 1 0 0 0
0 1 0 1 1
0 1 1 0 1
0 1 1 1 0
1 0 0 0 0
1 0 0 1 0
1 0 1 0 0
1 0 1 1 1
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 1
СДНФ:
(¬х0∧¬х2∧¬х3∧¬х4) v (¬x0∧¬x2∧x3∧¬x4) v (¬x0∧x2∧¬x3∧x4) v (¬x0∧x2∧x3∧¬x4)
v (x0∧¬x2∧x3∧x4) v (x0∧x2∧x3∧x4) = (¬х0∧¬х2∧¬х4) v (х0∧х3∧х4) v
(¬х0∧х2∧¬х3∧х4) v (¬х0∧х2∧х3∧¬х4).
СКНФ:
(x0∨x2∨x3∨¬x4) ∧ (x0∨x2∨¬x3∨¬x4) ∧ (x0∨¬x2∨x3∨x4) ∧ (x0∨¬x2∨¬x3∨¬x4) ∧
(¬x0∨x2∨x3∨x4) ∧ (¬x0∨x2∨x3∨¬x4) ∧ (¬x0∨x2∨¬x3∨x4) ∧ (¬x0∨¬x2∨x3∨x4) ∧
(¬x0∨¬x2∨x3∨¬x4) ∧ (¬x0∨¬x2∨¬x3∨x4) = (х0∨¬х3∨¬х4) ∧ (х2∨х3∨¬х4) ∧
(¬х2∨х3∨х4) ∧ (¬х0∨х2∨х4) ∧ (¬х0∨¬х2∨х3∨х4) ∧ (¬х0∨¬х2∨¬х3∨х4).

10
Логическая схема для первой СДНФ.

11
2) Исходная таблица истинности:
х0 х1 х2 х3 х4 F(x0,x1,x2,x3,x4,)
0 0 0 0 0 0
0 0 0 0 1 1
0 0 0 1 0 0
0 0 0 1 1 1
0 0 1 0 0 0
0 0 1 0 1 1
0 0 1 1 0 0
0 0 1 1 1 1
0 1 0 0 0 1
0 1 0 0 1 1
0 1 0 1 0 1
0 1 0 1 1 1
0 1 1 0 0 1
0 1 1 0 1 1
0 1 1 1 0 1
0 1 1 1 1 1
1 0 0 0 0 1
1 0 0 0 1 1
1 0 0 1 0 0
1 0 0 1 1 1
1 0 1 0 0 1
1 0 1 0 1 1
1 0 1 1 0 0
1 0 1 1 1 1
1 1 0 0 0 1
1 1 0 0 1 0
1 1 0 1 0 0
1 1 0 1 1 0
1 1 1 0 0 1
1 1 1 0 1 0
1 1 1 1 0 0
1 1 1 1 1 0
Х0-существенный, т.к. F (0, x1, x2, x3, x4) ≠ F (1, x1, x2, x3, x4)
X1-существенный, т.к. F (х0, 0, x2, x3, x4) ≠ F (х0, 1, x2, x3, x4)
Х2-фиктивный, т.к. F (х0, x1, 0, x3, x4) = F (х0, x1, 1, x3, x4)
Х3-существенный, т.к. F (х0, x1, x2, 0, x4) ≠ F (х0, x1, x2, 1, x4)
Х4-существенный, т.к. F (х0, x1, x2, x3, 0) ≠ F (х0, x1, x2, x3, 1)

12
Таблица, полученная в результате удаления фиктивной переменной х2:

x0 х1 х3 х4 F(x0,x1,x2,x3,x4,)
0 0 0 0 0
0 0 0 1 1
0 0 1 0 0
0 0 1 1 1
0 1 0 0 1
0 1 0 1 1
0 1 1 0 1
0 1 1 1 1
1 0 0 0 1
1 0 0 1 1
1 0 1 0 0
1 0 1 1 1
1 1 0 0 1
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0
СДНФ:
(х0∧¬х1∧¬х3∧¬х4) ∨ (х0∧х1∧¬х3∧¬х4) ∨ (¬х0∧х1∧¬х3∧¬х4) ∨ (¬х0∧х1∧¬х3∧х4) ∨
(¬х0∧х1∧х3∧¬х4) ∨ (¬х0∧х1∧х3∧х4) ∨ (х0∧¬х1∧¬х3∧¬х4) ∨ (х0∧¬х1∧¬х3∧х4) ∨
(х0∧¬х1∧х3∧х4) ∨ (х0∧х1∧¬х3∧¬х4) = (х0∧¬х3∧¬х4) ∨ (¬х0∧х1∧¬х3) ∨
(¬х0∧х1∧х3) ∨ (х0∧¬х1∧¬х3) ∨ (х0∧¬х1∧х3∧х4) ∨ (х0∧х1∧¬х3∧¬х4).
СКНФ:
(х0∨х1∨х3∨х4) ∧ (х0∨х1∨¬х3∨х4) ∧ (¬х0∨х1∨¬х3∨х4) ∧ (¬х0∨¬х1∨х3∨¬х4) ∧
(¬х0∨¬х1∨¬х3∨¬х4) ∧ (¬х0∨¬х1∨¬х3∨¬х4) = (х0∨х1∨х4) ∧ (¬х0∨¬х3∨х4) ∧
(¬х0∨¬х1∨¬х4).

13
Логическая схема для второй СДНФ

14
Метод: test_logic
Задание:

15
Решение test_logic:
№1.
Обозначим за S- сигнал “зачёт”, а за A, B, C, D-правильно отвеченные
вопросы, тогда:
(A∧B) ∨ (A∧C) ∨ (A∧D) ∨ (B∧D) ∨ (B∧C) ∨ (C∧D) ∨ (A∧B∧C) ∨ (A∧B∧D) ∨ (B∧C∧D) ∨
(A∧C∧D) ∨ (A∧B∧C∧D) ~ S
Упростив по з-ну поглощения для логического сложения получаем:
(A∧B) ∨ (A∧C) ∨ (A∧D) ∨ (B∧D) ∨ (B∧C) ∨ (C∧D) ~ S

Логическая схема:

№2.

F L D F∧L ¬D ¬L (F∧L)→¬D D→¬L G


0 0 0 0 1 1 1 1 1
0 0 1 0 0 1 1 1 1
0 1 0 0 1 0 1 1 1
0 1 1 0 0 0 1 0 0
1 0 0 0 1 1 1 1 1
1 0 1 0 0 1 1 1 1
1 1 0 1 1 0 1 1 1
1 1 1 1 0 0 0 0 1
Следовательно, существуют такие F, при которых G – истина.

16
№3.

L C E A H ¬E L∨C F1 F2 F3 F4 G
0 0 0 0 0 1 0 1 1 1 0 0
0 0 0 0 1 1 0 1 1 1 0 1
0 0 0 1 0 1 0 1 1 1 0 1
0 0 0 1 1 1 0 1 1 1 0 1
0 0 1 0 0 0 0 0 1 1 1 0
0 0 1 0 1 0 0 0 1 1 1 1
0 0 1 1 0 0 0 0 1 1 1 1
0 0 1 1 1 0 0 0 1 1 1 1
0 1 0 0 0 1 1 1 1 0 0 0
0 1 0 0 1 1 1 1 1 1 0 1
0 1 0 1 0 1 1 1 1 0 0 1
0 1 0 1 1 1 1 1 1 1 0 1
0 1 1 0 0 0 1 1 1 0 1 0
0 1 1 0 1 0 1 1 1 1 1 1
0 1 1 1 0 0 1 1 1 0 1 1
0 1 1 1 1 0 1 1 1 1 1 1
1 0 0 0 0 1 1 1 0 1 0 0
1 0 0 0 1 1 1 1 0 1 0 1
1 0 0 1 0 1 1 1 1 1 0 1
1 0 0 1 1 1 1 1 1 1 0 1
1 0 1 0 0 0 1 1 0 1 1 0
1 0 1 0 1 0 1 1 0 1 1 1
1 0 1 1 0 0 1 1 1 1 1 1
1 0 1 1 1 0 1 1 1 1 1 1
1 1 0 0 0 1 1 1 0 0 0 0
1 1 0 0 1 1 1 1 0 1 0 1
1 1 0 1 0 1 1 1 1 0 0 1
1 1 0 1 1 1 1 1 1 1 0 1
1 1 1 0 0 0 1 1 0 0 1 0
1 1 1 0 1 0 1 1 0 1 1 1
1 1 1 1 0 0 1 1 1 0 1 1
1 1 1 1 1 0 1 1 1 1 1 1
Из таблицы видим, что для всех таких f(F1)=f(F2)=f(F3)=f(F4)=1 следует, что
f(G)=1.
Из этого делаем вывод, что G – логическое следствие F1,…,F4.

17
№4.

L C E A H D∨H L∨M F1 F2 F3 F4 G
0 0 0 0 0 0 0 0 1 1 0 1
0 0 0 0 1 0 1 0 1 1 1 1
0 0 0 1 0 0 1 0 1 1 0 1
0 0 0 1 1 0 1 0 1 1 1 1
0 0 1 0 0 0 0 1 1 1 0 0
0 0 1 0 1 0 1 1 1 1 1 0
0 0 1 1 0 0 1 1 1 1 0 1
0 0 1 1 1 0 1 1 1 1 1 1
0 1 0 0 0 1 0 0 1 0 0 1
0 1 0 0 1 1 1 1 1 1 1 1
0 1 0 1 0 1 1 1 1 1 0 1
0 1 0 1 1 1 1 1 1 1 1 1
0 1 1 0 0 1 0 1 1 0 0 0
0 1 1 0 1 1 1 1 1 1 1 0
0 1 1 1 0 1 1 1 1 1 0 1
0 1 1 1 1 1 1 1 1 1 1 1
1 0 0 0 0 1 0 0 0 1 0 1
1 0 0 0 1 1 1 1 0 1 1 1
1 0 0 1 0 1 1 1 1 1 0 1
1 0 0 1 1 1 1 1 1 1 1 1
1 0 1 0 0 1 0 1 0 1 0 0
1 0 1 0 1 1 1 1 0 1 1 0
1 0 1 1 0 1 1 1 1 1 0 1
1 0 1 1 1 1 1 1 1 1 1 1
1 1 0 0 0 1 0 0 0 0 0 1
1 1 0 0 1 1 1 1 0 1 1 1
1 1 0 1 0 1 1 1 1 1 0 1
1 1 0 1 1 1 1 1 1 1 1 1
1 1 1 0 0 1 0 1 0 0 0 0
1 1 1 0 1 1 1 1 0 1 1 0
1 1 1 1 0 1 1 1 1 1 0 1
1 1 1 1 1 1 1 1 1 1 1 1
Из таблицы видим, что существуют такие строки f(F1)=f(F2)=f(F3)=f(F4)=1, при
которых f(G)= 0.Следовательно, G не является логическим следствием F1,…F4.

18
№5.
Пусть:
А – возникает дефицит.
B – повысят пошлины.
C – расходы на социальные нужды сократятся.
F1 = ¬B → A
F2 = A → C
F3 = B → ¬C
F = (¬B → A) ∧ (A → C) ∧ ( B → ¬C)

A B C ¬B ¬C ¬B → A A → C B → ¬C (¬B → A) ∧ (A → C) F
0 0 0 1 1 0 1 1 0 0
0 0 1 1 0 0 1 1 0 0
0 1 0 0 1 1 1 1 1 1
0 1 1 0 0 1 1 0 1 0
1 0 0 1 1 1 0 1 0 0
1 0 1 1 0 1 1 1 1 1
1 1 0 0 1 1 0 1 0 0
1 1 1 0 0 1 1 0 1 0
Из таблицы видим, что существует такая строка, в которой F1 = F2 = F3 = F = 1,
следовательно рассуждение логично.

19
Вывод
В ходе выполнения лабораторной работы я научился c помощью
преобразований функций алгебры логики (ФАЛ) находить ее изображающие
числа, выявлять тавтологию и следствие другой ФАЛ, распределять
аргументы на фиктивные и существенные, переводить логические
Выражения с естественного языка на язык алгебры логики и проводить
операции с логическими выражениями.

20