Add Or; rename Conjunction to And, Negation to Not