👤

[ [ [ (a Λ b) Λ c] V [(a Λ b) Λ Øc] ] VØb] ® s