Playing around with code to see if I can generate a graphic representing the following boolean logic ¬((P ↓ Q) | (¬Q ∧ R))