>q1_1¤Þ¤¿¤Ïq1_2¤òÁªÂò¤·¤Æ¤¤¤ë¿Í¤Ïq1_a¤Ë¡Ö1¡×
ξÊý¤Ë¡Ö1¡×¤ÈÅú¤¨¤Æ¤¤¤ë¿Í¤â¡Ö1¡×¤Ë´Þ¤ó¤Ç¤¤¤¤¤Î¤Ç¤·¤ç¤¦¤«¡©
q1_1¡ÊÃÍ0-1¡Ë ¤È q1_2¡ÊÃÍ0-1¡Ë¤Î¤É¤Á¤é¤«¤¬°ì¤Ä¤Ç¤â¡Ö1¡×¤Î¾ì¹ç¤Ï¡Ö1¡×¡¢
ξÊý¡Ö0¡×¤Î¾ì¹ç¤Ï¡Ö0¡×¤¬Æþ¤Ã¤¿¿·¤·¤¤ÊÑ¿ô q1_a ¤òºî¤ë¾ì¹ç¡¢
·×»»¥á¥Ë¥å¡¼¤Ç¡¢
<ÌÜɸÊÑ¿ô>¤Ë q1_a
<¿ô¼°>¤Ë q1_1=1 or q1_2=1
¤È¤·¤Æ OK ¤Ç¼Â¹Ô¤·¤Þ¤¹¡£
<¿ô¼°>Éôʬ¤¬¾ò·ï¼°¤È¤Ê¤Ã¤Æ¤¤¤ë¤Î¤Ç¡¢
¤½¤Î¾ò·ï¤ËÅö¤Æ¤Ï¤Þ¤ë¥±¡¼¥¹¤Ë¤Ï¡Ö1¡×¡¢Åö¤Æ¤Ï¤Þ¤é¤Ê¤¤¥±¡¼¥¹¤Ë¤Ï¡Ö0¡×¤¬ÊÖ¤µ¤ì¤Þ¤¹¡£