BI-SPOL.21-7
Výroková logika
Otázka: Výroková logika: splnitelnost formulí, logická ekvivalence a důsledek, universální systém logických spojek, disjuntivní a konjunktivní normální tvary, úplné normální tvary.
Tato otázka zatím není zpracovaná.
BI-SPOL.21-7
Otázka: Výroková logika: splnitelnost formulí, logická ekvivalence a důsledek, universální systém logických spojek, disjuntivní a konjunktivní normální tvary, úplné normální tvary.
Tato otázka zatím není zpracovaná.