by Palillo
Last Updated July 11, 2019 19:20 PM

De Morgan's Law - Propositional Calculus

Can someone tell me what's the correct way to solve this proposition with De Morgan's Law?

Proposition:

```
q v Â¬[ (p ÊŒ q) v Â¬q ]
```

[Answers]

Option 1:

q v Â¬(p ÊŒ q) ÊŒ q

Option 2:

q v [Â¬(p ÊŒ q) ÊŒ q ]

As you can see, the difference between both is that one of them don't have square brackets "[ ]". So, what's the correct one?

Because $\vee$ is associative we do not need to distinguish the order of applying the operator. This means the square brackets are superfluous, but they are also acceptable. Either is correct unless your rules of syntax require that all operators come with brackets. That is sometimes done when you want to be very formal.

- ServerfaultXchanger
- SuperuserXchanger
- UbuntuXchanger
- WebappsXchanger
- WebmastersXchanger
- ProgrammersXchanger
- DbaXchanger
- DrupalXchanger
- WordpressXchanger
- MagentoXchanger
- JoomlaXchanger
- AndroidXchanger
- AppleXchanger
- GameXchanger
- GamingXchanger
- BlenderXchanger
- UxXchanger
- CookingXchanger
- PhotoXchanger
- StatsXchanger
- MathXchanger
- DiyXchanger
- GisXchanger
- TexXchanger
- MetaXchanger
- ElectronicsXchanger
- StackoverflowXchanger
- BitcoinXchanger
- EthereumXcanger