Бібліотека методичних матеріалів
- Всеосвіта›
- Бібліотека методичних матеріалів›
- Комп'ютерна логіка›
- Лекція за темою "Нормальні форми для формул алгебри висловлювань"
Матеріал:
Лекція за темою "Нормальні форми для формул алгебри висловлювань"
doc 
14.12.2020
512
0
15
14
Опис методичного матеріалу:
Для кожної формули алгебри висловлювань можна вказати рівносильну їй формулу, що містить з логічних зв'язок лише заперечення, кон'юнкцію і диз'юнкцію. Для цього треба, використовуючи равносильности виразити усі наявні у формулі імплікації і еквівалентності через заперечення, кон'юнкцію і диз'юнкцію.
Вміст матеріалу:
Доступ до плеєра. Вбудувати плеєр:
