Question

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

Answer 1

$displaystyle a(ato b)(aleftrightarrow boverline c)=a(overline a+b)(aleftrightarrow boverline c)=(0+ab)(aleftrightarrow boverline c)=\ab(aboverline c+overline a,overline{boverline c})=aboverline c+0=aboverline c$