330.00 руб
Контрольная
Математическая логика
Дата сдачи: Июнь 2011
1. С помощью основных равносильностей доказать:
![формула1.jpg формула1.jpg](/upload/medialibrary/b74/ddbzpwr1.jpg)
2. Формулу
![формула2.jpg формула2.jpg](/upload/medialibrary/dfb/evaycbn2.jpg)
представить в виде:
• СКНФ
• СДНФ
• Многочлена Жегалкина, пользуясь методом неопределенных коэффициентов.
3. Провести анализ рассуждения: Если он из нашей компании, то он храбр, и на него можно положиться. Он не из нашей компании. Следовательно, он не храбр или же на него нельзя положиться.
4. Составить схему, соответствующую формуле из левой части первого задания.
5. Составить формулу, соответствующую следующей схеме, и упростить ее:
4. Составить схему, соответствующую формуле из левой части первого задания.
5. Составить формулу, соответствующую следующей схеме, и упростить ее:
![формула3.jpg формула3.jpg](/upload/medialibrary/22f/razdvgh3.jpg)
6. На множестве N определены предикаты: P(x) – «x – четное число», S(x, y) – «x + 2 = y». Какая из ниже перечисленных формул представляет собой истинное высказывание:
1) P(7)
1) P(7)
![формула4.jpg формула4.jpg](/upload/medialibrary/efd/rwprknk4.jpg)
![формула5.jpg формула5.jpg](/upload/medialibrary/af2/ntsnhpj5.jpg)
![формула6.jpg формула6.jpg](/upload/medialibrary/542/nkpqgmd6.jpg)
![формула7.jpg формула7.jpg](/upload/medialibrary/83b/brfnyxc7.jpg)
7. С помощью логики предикатов написать утверждение: функция монотонно возрастает на отрезке [a, b] и его отрицание в предваренной нормальной форме.