Представяне на безкванторна формула чрез крайно множество от дизюнкти
Налице са два варианта на изложението на въпроса, като главната разлика между тях е, че единият от тях се основава на въпроса за безкванторни формули с ограничено ползване на отрицание, а при другия разглеждането е директно.
Последно изменение: 12.05.2005 г.