Osnove matematičke logike

4. Konjunktivna i disjunktivna normalna forma

U logici ne moramo uvijek krenuti od izraza prema tablici istinitosti. Problem se može postaviti i obrnuto: za danu tablicu istinitosti potrebno je napisati logički izraz.

Za rješavanje takvih problema koristimo konjunktivnu i disjunktivnu normalnu formu.