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

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

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

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

Группа 3О-107Б Бригада №20 Сдал:

Бетехтин М.С. Приняли:

Судаков Владимир Анатольевич Ескин Владимир Иванович

2016 г., Москва.

Содержание

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

3

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

8

Метод: test_logic…………………………………………………………………15

Метод: blackbox…………………………………………………………………

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

Метод: test_bool

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

Метод: test_bool Задание и проверка решений: 3
Метод: 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).

Таблицы истинности для № 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.

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:

Высказывание будет являться логическим следствием другого, тогда и только тогда, когда для всех строк таблицы истинности, где высказывание 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

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)

Х2-существенный, т.к. F (х0, x1, 0, x3, x4) Х3-существенный, т.к. F (х0, x1, x2, 0, x4) Х4-существенный, т.к. F (х0, x1, x2, x3, 0)

=
=

F (х0, 1, x2, x3, x4)

(х0, x1, 1, x3, x4)

F

(х0, x1, x2, 1, x4)

F

(х0, x1, x2, x3, 1)

F

Таблица, полученная в результате удаления фиктивной переменной Х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¬x2x3¬x4) v (¬x0x2¬x3x4) v (¬x0x2x3¬x4) v (x0¬x2x3x4) v (x0x2x3x4) = (¬х0¬х2¬х4) v (х0х3х4) v (¬х0х2¬х3х4) v (¬х0х2х3¬х4). СКНФ:

(x0x2x3¬x4) (x0x2¬x3¬x4) (x0¬x2x3x4) (x0¬x2¬x3¬x4) (¬x0x2x3x4) (¬x0x2x3¬x4) (¬x0x2¬x3x4) (¬x0¬x2x3x4) (¬x0¬x2x3¬x4) (¬x0¬x2¬x3x4) = (х0¬х3¬х4) (х2х3¬х4) (¬х2х3х4) (¬х0х2х4) (¬х0¬х2х3х4) (¬х0¬х2¬х3х4).

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

Логическая схема для первой СДНФ. 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) X1-существенный, т.к. F (х0, 0, x2, x3, x4)

F (1, x1, x2, x3, x4)

F

(х0, 1, x2, x3, x4)

Х2-фиктивный, т.к. F (х0, x1, 0, x3, x4)

Х3-существенный, т.к. F (х0, x1, x2, 0, x4) Х4-существенный, т.к. F (х0, x1, x2, x3, 0)

=
=

F (х0, x1, 1, x3, x4)

(х0, x1, x2, 1, x4)

F

(х0, x1, x2, x3, 1)

F

Таблица, полученная в результате удаления фиктивной переменной х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).

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

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

Задание:

Метод: test_logic

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

Решение test_logic:

№1.

Обозначим за S- сигнал “зачёт”, а за A, B, C, D-правильно отвеченные вопросы, тогда:

(AB) (AC) (AD) (BD) (BC) (CD) (ABC) (ABD) (BCD) (ACD) (ABCD) ~ S Упростив по з-ну поглощения для логического сложения получаем:

(AB) (AC) (AD) (BD) (BC) (CD) ~ S

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

C) ∨ (C ∧ D) ~ S Логическая схема: №2. F L D F ∧ L

№2.

∨ (C ∧ D) ~ S Логическая схема: №2. F L D F ∧ L ¬D

F

L

D

FL

¬D

¬L

(FL)¬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 – истина.

№3.

№3. L C E A H ¬E L ∨ C F1 F2 F3 F4 G 0

L

C

E

A

H

¬E

LC

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