Тема : Алгебра логіки.
| Опис товару | |
|---|---|
| Формат файлу: | DOCX |
Тема : Алгебра логіки.
Індивідуальні завдання для самостійної роботи студентів:
- Для логічної формули
y = (x1 A x2) B (x1 C x3) D (x2 E x3) B ( C ) :
– побудувати таблицю дійсності,
– сформувати диз’юнктивну нормальну форму,
– сформувати кон’юнктивну нормальну форму,
– мінімізувати методами:
– алгебраїчним,
– багатовимірного кубу,
– карт Карно;
– комплексу Кубів.
Примітка: логічні операції вибираються з множин
A, B, C, D, E = {∧,∨,→,↓,∼,∨,←,/,↓, ⊕ },
{0 , 1 , 2 , 3, 4, 5, 6, 7 , 8, 9 }
де А – перша цифра дня народження,
В – друга цифра дня народження,
С – перша цифра місяця народження,
D – друга цифра місяця народження,
Е – остання цифра дня виконання робот-16
Побудувати формулу для однієї з статей Конституції України та перевірити її на тавтологію.
- Побудувати формулу для трьох повідомлень з міжнародних відносин та перевірити їх на тавтологію і на істинність розв’язку, зробити висновки.
Вчитель - розробник
