330.00 руб
Контрольная
Математическая логика
Дата сдачи: Июнь 2011
1. С помощью основных равносильностей доказать:
2. Формулу
представить в виде:
• СКНФ
• СДНФ
• Многочлена Жегалкина, пользуясь методом неопределенных коэффициентов.
3. Провести анализ рассуждения: Если он из нашей компании, то он храбр, и на него можно положиться. Он не из нашей компании. Следовательно, он не храбр или же на него нельзя положиться.
4. Составить схему, соответствующую формуле из левой части первого задания.
5. Составить формулу, соответствующую следующей схеме, и упростить ее:
4. Составить схему, соответствующую формуле из левой части первого задания.
5. Составить формулу, соответствующую следующей схеме, и упростить ее:
6. На множестве N определены предикаты: P(x) – «x – четное число», S(x, y) – «x + 2 = y». Какая из ниже перечисленных формул представляет собой истинное высказывание:
1) P(7)
1) P(7)
7. С помощью логики предикатов написать утверждение: функция монотонно возрастает на отрезке [a, b] и его отрицание в предваренной нормальной форме.