Tento applet slouží k procvičení vyšetřování vlastností formulí výrokového počtu bez kvantifikátorů.
Stupeň obtížnosti: 2
Zadej nebo modifikuj množinu prvotních formulí P:
Zadej nebo modifikuj formuli F výrokového počtu bez kvantifikátorů (negace !, Not[.]; disjunkce ||, Or[.,.]; konjunkce &&, And[.,.]; implikace Imp[.,.]; ekvivalence Ekv[.,.]; xor Xor[.,.], nand Na[.,.]; nor Nr[.,.]):
Byla zadána formule F = .
Pravdivostní tabulka:
Je zadaná formule F tautologie?
Je zadaná formule F kontradikce?
Úplná disjunktivní normální forma (DNF):
Minimalizovaná disjunktivní normální forma (MDNF):
Úplná konjunktivní normální forma (KNF):
Minimalizovaná konjunktivní normální forma (MKNF):
Kontrolní pravdivostní tabulka: