Какие из следующих формул являются тождественно истинными?

,

,

,

Правильный ответ:

• # Какое из следующих перечислений вершин бинарного дерева T: [Большая Картинка] представляет его обход в прямом (префиксном) порядке?
• # Преподаватель рассчитывает читать один и тот же курс дискретной математики в течение 16 лет. Чтобы не наскучить студентам, он решил рассказывать им каждый год 4 анекдота и не повторять никакие два года одни и те же четыре анекдота. Каково минимальное число анекдотов, которые он должен приготовить?
• # В кондитерском магазине продаются 5 сортов пирожных: заварные, песочные, "картошка", корзинка и бисквитные. Сколькими способами можно купить 6 пирожных?
• # Какие из следующих формул задают нелинейные функции: A= (Y →​¬X) →​ Z, B = (X∧ Y∧ Z) ∨ (¬ X∧ ¬Y ) ∨ (X∧ Y∧ ¬ Z), C= ( Z→​ X) ∨Y
• # Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C). \begin{array}{llllllllll} (\forall x(P(x,y) & \rightarrow &\exists z (\forall y(Q(x,y,z) &\rightarrow & P(x,z)) \vee P(z,y))) &\rightarrow& \exists zQ(x,y,z))\\ \phantom{ (\forall x(P(}1\phantom{,}2 & & \phantom{\exists z (\forall y(Q(}3 \phantom{,y,}4 & & \phantom{P(x,}5 \phantom{)) \vee P(}6 \phantom{,}7 & & \phantom{\exists zQ(x,}8 \phantom{,}9 \end{array}