Задачи этой группы связаны главным образом с высказываниями вида "P истинно в том и только в том случае, если Q истинно". Оно означает, что если P истинно, то Q истинно, и если Q истинно, то P истинно. Иначе говоря, если одно из двух высказываний P, Q истинно, то другое также истинно. Оно означает также, что высказывания P и Q либо оба истинны, либо оба ложны. Сложное высказывание "P в том и только в том случае, если Q" принято обозначать P <=> Q".