p∧q p←q p∨q p→q