Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов, доказав

Алфавит передаваемых сообщений состоит из независимых букв си. Вероятности появления каждой буквы в сообщении заданы 0,5; 0,4; 0,08; 0,02. Определить и сравнить эффективность кодирования сообщений методом Хаффмена при побуквенном кодировании.

Составить программу Phyton: Программа запрашивает у пользователя два числа, затем сравнивает их и если числа равны, то есть логическое выражение A==B истинно, то выводится соответствующее сообщение.

Для выполнения пяти работ фирмой объявлен набор рабочих. Прибыло 4 рабочих. Стоимости выполнения каждым рабочим соответствующей работы приведены в таблице. Разработать предложения руководству фирмы по распределению рабочих по работам так, чтобы все