Ekvivalentná transformácia formúl

Ekvivalentná transformácia formúl je taká úprava formúl, aby výsledná formula bola logicky zhodná s pôvodnou. Umožňuje ju tautológia výrokovej logiky.

Logika