Формулу, яка містить хоча б одну операцію заперечення

Формулу, яка є хибною лише для одного набору значень змінних

Формулу, яка містить дві або більше різних логічних операцій

Формулу, яка набуває значення «хиба» за будь-якого набору значень логічних змінних

Формулу, яка є істинною для всіх можливих наборів значень змінних