Упростите логические выражения: a)F= ¬(A ∨ ¬B) → C b) F=¬(A ∧ ¬B ∧ ¬C) c)F=Xv¬(Yv¬(X&Y))...

Question

Упростите логические выражения: a)F= ¬(A ∨ ¬B) → C b) F=¬(A ∧ ¬B ∧ ¬C) c)F=Xv¬(Yv¬(X&Y)) d)F=(XvZ)&(Xv¬Z)&¬X e)F=(¬B→¬A) &¬(AVB) &(A→C) f)F=(A&B&C)V(¬A&B&C) g) F=(AV¬BVC)& ¬ (AVBVC)

Answer 1

a) F=A∧ ¬B∧C

b) F=¬A∨B∨C

c) F=X∨(¬Y∧(X∧Y))=X∨¬Y∧X∧Y=X∨¬Y∧Y=X

d) F=(X^X)v(X^¬Z)v(Z^X)v(Z^¬Z)^¬X=X^(X^¬Z)v(Z^X)^¬X=X^¬X^(X^¬Z)v(Z^X)=(X^¬Z)v(Z^X)