Формула имеет нормальную форму, если в ней отсутствуют знаки:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
эквивалентности(Верный ответ)
конъюкции
импликации(Верный ответ)
двойного отрицания(Верный ответ)