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

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