БГУИР Дискретная математика КР 1 Вар 21
.docx
4. Записать в ДНФ и СДНФ формулу: A˄B→(B˄B→C)
Используя законы логики, приведем формулу к виду, содержащему только дизъюнкции элементарных конъюнкций (ДНФ).
|
|
|
|
|
|
|
|
|
|
5. Записать формулу в приведенном виде (содержащем только операции ¬, ˄, ˅ над простыми переменными).
(A˄B)˄(C˄D)
Упростим функцию:
|
|
||||
|
|
|
|
|
|
7. Проверить самодвойственность функции: x1|x2
Составим таблицу истинности:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Делим результат таблицы на две половины (11÷10). Инвертируем одну половину и сравниваем с другой. Так как она не совпадает, то функция не самодвойственная.
8. Проверить монотонность функции: (1100).
10. Упростить схему:
За полным содержанием данной работы обращайтесь по следующим адресам:
https://vk.com/orororr
schmuglevski@mail.ru