「A = false
「A∧B = false
C∧D = false
C∧D∨A = true
(「A∧B)∨(C∧D∨A) = true