Logical predicates such as OR, XOR, AND, IMP are typically used as binary operators with two distinct operands.
Logické predikáty ako OR, XOR, AND, IMP sa typicky používajú ako binárne operátory s dvomi odlišnými operandami.