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: