Pravidlá zjednodušovania:

najprv upravujeme logické výrazy vo vnútri zátvoriek,
potom podľa priority operátorov:

negácia (NOT)
logický súčin (AND)
logický súčet (OR)