Информатика пәнінен № 1921 тапсырма: Компьютердің логикалық негіздері

Талдау

Импликация тек шарты ақиқат, ал салдары жалған болғанда ғана жалған болады. $A = 1$ делік. Онда $A \to B$ бойынша $B = 1$, $B \to C$ бойынша $C = 1$, $C \to D$ бойынша $D = 1$. Бірақ сонда $D \to \neg A$ импликациясы $1 \to 0$ болып, жалған болады, яғни $F = 0$. Демек, $A = 0$. $A = 0$ болғанда бірінші импликация ақиқат, ал $D \to \neg A$ импликациясы $D \to 1$ түрінде болып, ол да ақиқат. $(B \to C) \wedge (C \to D)$ шарты қалады: бірден кейін нөл келмейді. $(B, C, D)$ жиынтықтары: 000, 001, 011, 111. Барлығы 4 жиынтық. Соңғы импликацияны ескермей, $A \to B \to C \to D$ тізбегін түгел санасақ, «5» шығады.