truth table ((m&p)or(~m&p))