Если число высказываний в логическом выражении N, то таблица истинности будет содержать 2 N строк, так как существует 2 N различных комбинаций возможных значений аргументов. . . . Эта операция связывает два простых логических выражения, из которых первое является условием, а второе — следствием из этого условия.