Привести формулу к безынверсной форме

[Nogin Anton]

Привести формулу к безынверсной форме:



Подскажите, можно ли в данном случае для отрицаний применять закон д'Моргана?

[chessar]

Не только можно, но и нужно. И не только Де Моргана: $\overline{a\wedge b}=\bar{a}\vee\bar{b}$; $\overline{a\vee b}=\bar{a}\wedge\bar{b}$ ( $\&\equiv\wedge$ ), но также контрапозицию: $a\rightarrow b=\bar{a}\vee b$; закон исключенного третьего: $a\vee\bar{a}=1$; $1\vee a=1$; ассоциативность и коммутативность операций $\vee,\wedge$.
Если под "безынверсной" формой понимается форма, в которой отсутствуют операции отрицания, то вывод будет такой:

$$A(x,y,z)=\overline{x\rightarrow y}\rightarrow\overline{\left(z\wedge\bar{x}\right)}= \overline{\left(\bar{x}\vee y\right)}\rightarrow\left(\bar{z}\vee x\right)= (\bar{x}\vee y)\vee(\bar{z}\vee x)=x\vee\bar{x}\vee y\vee\bar{z}=1\vee y\vee\bar{z}=1,$$

то бишь $A(x,y,z)\equiv 1$.