|
FILIT
Obsah Chronológia Registre Diskusia Správa Zoznam T |
Transformácia formúl ekvivalentnátransformácia formúl ekvivalentná - taká úprava formúl, aby výsledná formula bola logicky zhodná s pôvodnou. Umožňuje ju tautológia výrokovej logiky.
------------------------------------
|