Назовём искл. или "xor"
X xor Y ~ X^(-Y) v Y ^ (-X)
Проверяется подстановкой 0 и 1 вместо X и Y (2^2 оценки)
Назовём искл. или "xor"
X xor Y ~ X^(-Y) v Y ^ (-X)
Проверяется подстановкой 0 и 1 вместо X и Y (2^2 оценки)