Файл: БГУИР Дискретная математика КР 1 Вар 21.docx

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 28.02.2019

Просмотров: 131

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

4. Записать в ДНФ и СДНФ формулу: A˄B→(B˄BC)

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












5. Записать формулу в приведенном виде (содержащем только операции ¬, ˄, ˅ над простыми переменными).

(A˄B)˄(C˄D)

Упростим функцию:









7. Проверить самодвойственность функции: x1|x2

Составим таблицу истинности:


















Делим результат таблицы на две половины (11÷10). Инвертируем одну половину и сравниваем с другой. Так как она не совпадает, то функция не самодвойственная.

8. Проверить монотонность функции: (1100).



10. Упростить схему:



За полным содержанием данной работы обращайтесь по следующим адресам:

https://vk.com/orororr

schmuglevski@mail.ru