Упрощение формул. Тождественные преобразования. Доказательство равносильности, тождественной истинности и тождественной ложности формул и булевых функций
Задачи
1.1. Записать в виде формул логики высказываний, обозначив за переменные элементарные высказывания:
а) достаточные условия экстремума в точке для функции f(x);
б) необходимые условия экстремума в точке для функции f(x);
в) необходимые и достаточные условия экстремума в точке для функции f(x);
1.2. Определить, является ли данная последовательность формулой:
а) ;
б) ;
в) ;
г) .
1.3. Сколькими способами можно расставить скобки в последовательности, чтобы получилась формула:
а) ;
б) ?
1.4. Выписать все подформулы формулы:
а) ;
б) .
в) ;
г) .
1.5. Составить таблицы истинности для формул;
а) ;
б) ;
в) ;
г) .
1.6. Доказать выполнимость формул:
а) ;
б) ;
в) .
1.7. Доказать тождественную истинность формул:
а) ;
б) ;
в) ;
г) ;
д) ;
е) ;
ж) ;
з) .
1.8. При каких значениях переменных X, Y, Z, U, V, W следующие формулы ложны:
Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет
studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав!Последнее добавление