Märkige kõik tõesed väited.

Question

Answer

Kui lausearvutuse valem on kehtestatav, siis sellel valemil leidub täielik disjunktiivne normaalkuju.

Answer

Kui lausearvutuse valem on  kehtestatav, siis  sellel valemil puudub täielik disjunktiivne normaalkuju.

Answer

Kui lausearvutuse valem on kummutatav, siis sellel valemil puudub täielik disjunktiivne normaalkuju.

Answer

Kui lausearvutuse valem on kummutatav, siis sellel valemil leidub täielik disjunktiivne normaalkuju.

Crowdly