‡V|‚T
Šî–{˜_—‰‰ŽZ‚ÌAND (˜_—Ï)AOR (˜_—˜a)ANOT (”Û’è) ‚ð—p‚¢‚Ä\¬‚µ‚½ŽŸ‚ÌŽ®‚Ì‚¤‚¿A”r‘¼“I˜_—˜a (XOR) ‚ƂȂ鎮‚Æ‚µ‚ÄAÅ‚à“K؂Ȃà‚̂͂ǂꂩB
‚È‚¨A
@a AND b ‚ð AND (a, b)A
@a OR b ‚ð OR (a, b)A
@NOT a ‚ð NOT (a)
‚Æ•\Œ»‚·‚éB
‡@@XOR(a, b) = AND(OR(a, NOT(b)), OR(NOT(a), b))
‡A@XOR(a, b) = OR(AND(aANOT(b)), AND(NOT(a)Ab))
‡B@XOR(a, b) = AND(OR(a, b)AOR(a, b))
‡C@XOR(a, b) = OR(AND(a, b), AND(a, b))
‡D@XOR(a, b) = NOT(AND(a, OR(a, b)))