and or not → & | ¬