Контрольная Логика (задания № 1, №2, № 3, № 4), номер: 152866

"Задание №1 3
Какие из приведенных ниже формул являются общезначимыми? Противоречивыми? Нейтральными? Необщезначимыми? Выполнимыми?
Задание №2 8
Докажите следующие равносильности:
Задание №3 10
Укажите такие наборы значений Р, Q, R, при которых формулы принимают одинаковые значения истинности(1); разные значения истинности(0):
Задание № 4 13
Докажите неполноту систем:
Для того чтобы система булевых функций была полна необходимо и достаточно, чтобы она содержала функцию, не сохраняющую 0 (P0), функцию, не сохраняющую 1 (P1), несамодвойственную функцию (S), немонотонную функцию (M), нелинейную функцию (L).
Список литературы 16"