birmaga.ru
добавить свой файл

1
Задание№1

Используя основные эквивалентности исчисления высказываний, проверить следующие равносильности:
.
Задание№2

17.
Школьники собрались в поход: либо в лес, либо на озеро. Погода могла быть либо жаркой, либо холодной; либо солнечной, либо пасмурной. В связи с этим были высказаны некоторые суждения:

17.1. Мы пойдем на озеро, если будет жарко и солнечно.

17.2. Чтобы пойти на озеро, достаточно, чтобы погода была солнечной. Но погода будет пасмурной. Значит, мы пойдем в лес, если будет холодно.

17.3. Если солнечная погода будет достаточным условием для похода в лес, нельзя утверждать, что поход на озеро является необходимым условием холодной погоды.

Эти условия сводятся к двум простейшим условиям, из которых может быть выполнено только одно. Кроме того, известно, что: либо было жарко и школьники пошли в лес,
20

либо было холодно, но солнечно и они пошли на озеро.

Куда пошли школьники, и какой была погода?

Задание 3

Проверить правильность логического вывода, используя метод прямого преобразования, метод семантических таблиц, метод резолюций и метод лок-резолюций.
;

Задание 4

Привести следующие формулы логики предикатов сначала к предваренной нормальной форме (ПНФ), затем к сколемовской нормальной форме (СНФ) и стандартной сколемовской форме (ССФ).

;

Задание 5

Разработать тьюринговые функциональные схемы для решения следующих задач

Дано число в унарной системе счисления. Определить, делится ли оно на 3?