Логический тип подразумевает 2 значения переменной: 0 или 1.
Соответственно, для 2 переменных возможны 4 комбинации:
a = 0, b = 0
a = 0, b = 1
a = 1, b = 0
a = 1, b = 1