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.

July 11, 2019 19:12 PM

- Serverfault Help
- Superuser Help
- Ubuntu Help
- Webapps Help
- Webmasters Help
- Programmers Help
- Dba Help
- Drupal Help
- Wordpress Help
- Magento Help
- Joomla Help
- Android Help
- Apple Help
- Game Help
- Gaming Help
- Blender Help
- Ux Help
- Cooking Help
- Photo Help
- Stats Help
- Math Help
- Diy Help
- Gis Help
- Tex Help
- Meta Help
- Electronics Help
- Stackoverflow Help
- Bitcoin Help
- Ethereum Help