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.

------------------------------------
transformácia formúl ekvivalentná>