User blog comment:Boboris02/MBOT/@comment-1605058-20161220212557/@comment-5529393-20161221163816

I don't get them either.

Let's start with the first example. You have three Boolean operators, \(\neg, \iff, \iff\). In what order are you applying them?