Question

помогите плиз информатика по теме: Логика

Answer 1

$\dislpaystyle 1. \quad ((A \land B)\to((C \lor D)\to(B\land C)))=A \land B\to(C \lor D\to B\land C) \\ 2. \quad ((b\to c)\to a)\to \lnot d = ((\overline b+c)\to a)\to \overline d=(\overline{\overline b+c}+a)\to\overline d= \\ \overline{\overline{\overline b+c}+a}+\overline d=\overline{(\overline{\overline b+c}+a)d}=\overline{(b\overline c+a)d}; \\ a=0,b=1 \quad \to \quad \overline{\overline cd}=c\lor \lnot d$
$\displaystyle 3. \quad (a\to b)\to b \land c=\overline a+b\to bc=\overline{\overline a+b}+bc=a\overline b+bc= \\ a \land \lnot b\lor b\land c$