Какое из приведенных имен удовлетворяет логическому условию:первая бкву согласная- первая...

Введем обозначения:
s - первая буква согласная, g - последняя буква гласная.
Исходное выражение:
$s\rightarrow \lnot s \land \lnot g \rightarrow g$
Попробуем упростить его, исключив импликацию. Перейдем к более удобной системе обозначений: операцию ∧ заменим умножением (*), операцию ∨ заменим сложением (+), а элементы с отрицанием будем надчеркивать.
$s \rightarrow \overline{s}*\overline{g} \rightarrow g; \\ \overline{s}*\overline{g}=\overline{s+g}; \\ s \rightarrow \overline{s+g}=\overline{s}+\overline{s+g}=\overline{s*(s+g)}=\overline{s*s+s*g}=\overline{s+s*g}= \\ \overline{s*(1+g)}=\overline{s};$
$\overline{s} \rightarrow g = s+g$
В результате преобразования приходим к правилу: первая согласная ИЛИ последняя гласная. Ему удовлетворяют три имени 1.Ирина, 2. Максим, 4. Мария