·¡Ý£±£³
RS·¿¤Î¥×¥ê¥×¥í¥»¥Ã¥µ¤ËÆþÎÏ (R, S) = (0, 1) ¤òÍ¿¤¨¤ë¤È¡¢½ÐÎÏ (Q, Q') = (1, 0) ¤È¤Ê¤ë¡£¤³¤Î¾õÂÖ¤ÇÆþÎÏ (R,
S) ¤ò (0, 0) ¢ª (0, 1) ¢ª (0, 0) ¤ÈÊѲ½¤µ¤»¤¿¤È¤¡¢½ÐÎÏ (Q, Q') ¤ÎÊѲ½¤È¤·¤ÆºÇ¤âŬÀڤʤâ¤Î¤Ï¤É¤ì¤«¡£
¡¡¡(1, 0) ¢ª (0, 1) ¢ª (0, 1)
¢¡¡(1, 0) ¢ª (0, 1) ¢ª (1, 0)
£¡¡(1, 0) ¢ª (0, 1) ¢ª (1, 1)
¤¡¡(1, 0) ¢ª (1, 0) ¢ª (0, 1)
¥¡¡(1, 0) ¢ª (1, 0) ¢ª (1, 0)