Упростить логическое выражение D (¬AvB)ʌ(¬Bv¬A)ʌ(¬CvA)
Решите задачу:
Раскроем первые две скобки (-A∧-B ∨ B∧-B ∨A∧-A ∨ B∧-A)∧(-C∨A)= B∧-B и A∧-A сокращаются, так как их произведение = 0 (-A∧-B ∨ B∧-A)∧(-C∨A) вынесем -A за скобки -A(-B∨B)∧(-C∨A) (-B∨B) = 1 Отсюда остается -A∧(-C∨A)= -A∧-C ∨ -A∧A= -A∧-C