Добавил:
volobl035@yandex.ru Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Задание №1 вариант №2

.docx
Скачиваний:
9
Добавлен:
17.06.2018
Размер:
17.35 Кб
Скачать

Вместо такого знака поставь везде такой знак¬p. Тоесть везде где над буквой черта меняй на эту

Математическая логика

Вариант 2

1. Составить таблицу истинности для формул алгебры высказываний и сделать вывод об их истинности, выполнимости или ложности. Восстановить, если это возможно, для каждой из формул СКНФ, СДНФ.

0

0

0

1

1

0

1

1

1

0

0

1

1

0

1

0

0

1

0

1

0

1

1

0

1

1

1

0

1

1

1

1

1

1

1

1

1

0

0

0

1

1

0

0

1

1

0

1

0

0

1

0

0

1

1

1

0

1

1

1

1

1

1

1

1

1

1

1

1

1

1

1

Формула общезначима (тождественно истинна), т.к. принимает значение 1 на всех наборах значений входящих в нее переменных.

СКНФ не существует.

СДНФ

0

0

0

1

1

0

1

0

0

1

1

0

0

1

1

1

1

0

1

0

1

0

0

1

0

1

0

0

1

0

0

1

1

0

1

1

1

0

1

1

0

0

1

1

1

0

0

0

1

1

0

0

0

0

1

1

0

1

0

1

1

0

1

0

0

1

1

1

0

0

0

1

1

0

0

0

0

1

1

1

0

0

1

1

0

0

0

0

Формула выполнима, т.к. в последнем столбце таблицы истинности находятся и нуль, и единицы.

СКНФ

СДНФ