¬   O   |

.  +  ∨

/  =  ∧