Готовые работы
Контрольная Математическая логика, Логика. Купить за 330.00 руб в Красноярске.

330.00 руб

Контрольная

Математическая логика


Дата сдачи: Июнь 2011

1. С помощью основных равносильностей доказать:
формула1.jpg

2. Формулу
формула2.jpg
представить в виде:
• СКНФ
• СДНФ
• Многочлена Жегалкина, пользуясь методом неопределенных коэффициентов.

3. Провести анализ рассуждения: Если он из нашей компании, то он храбр, и на него можно положиться. Он не из нашей компании. Следовательно, он не храбр или же на него нельзя положиться.

4. Составить схему, соответствующую формуле из левой части первого задания.

5. Составить формулу, соответствующую следующей схеме, и упростить ее:

формула3.jpg

6. На множестве N определены предикаты: P(x) – «x – четное число», S(x, y) – «x + 2 = y». Какая из ниже перечисленных формул представляет собой истинное высказывание:
1) P(7)
формула4.jpg
формула5.jpg
формула6.jpg
формула7.jpg

7. С помощью логики предикатов написать утверждение: функция монотонно возрастает на отрезке [a, b] и его отрицание в предваренной нормальной форме.

Задать вопрос по работе