(p OR ~q) AND (r XOR s)の論理回路