Osnove matematičke logike
3. Složeni logički izrazi
3.1. Pojednostavljivanje složenih logičkih izraza
Osnovna pravila koja nam mogu pomoći u pojednostavljivanju logičkih izraza su:
\( \overline{\overline{ A}} = A
\)
De Morganovo pravilo:
Komutativnost:
Distributivnost: