Question

Упростите логическое выражение. Упрощённый вид должен содержать три логические операции. A(A->B)(A<->неCB)

Answer 1

$\displaystyle a(a\to b)(a\leftrightarrow b\overline c)=a(\overline a+b)(a\leftrightarrow b\overline c)=(0+ab)(a\leftrightarrow b\overline c)=\\ab(ab\overline c+\overline a\,\overline{b\overline c})=ab\overline c+0=ab\overline c$