éæ¦é¡åçï¼
é»è¾ä¸ï¼é»è¾éï¼
é»è¾æç符å·ï¼
é»è¾ä¸âââ§ï¼é»è¾éââï¹ï¼é»è¾æâââ¨ï¼
æ°çé»è¾éçäºä¸ªåºæ¬èç»è¯ï¼ï¹,â§, â¨, â, ↔
å¦ä¸¤ä¸ªï¼â⇒ââè´å«ï¼↔ââçä»·ã
å¤ä¸¤ä¸ªï¼
AâBââå«ååèï¼è¯»ä½âæ¢éAåéBâï¼è¡¨ç¤ºAä¸Bååãå¦æç¨äºä¸ªåºæ¬èç»è¯ä¸ç符å·è¡¨ç¤ºï¼å³ä¸ºï¼⌐Aâ§⌐B
AâBââå«åæèï¼è¯»ä½âéAæè
éBâï¼è¡¨ç¤ºAä¸Bä¸æä¸ä¸ªä¸ºåãå¦æç¨äºä¸ªåºæ¬èç»è¯ä¸ç符å·è¡¨ç¤ºï¼å³ä¸ºï¼⌐Aâ¨⌐B
çå¼è¡¨çç§ç±»å¾å¤ï¼ä¾ä¸åçå
容å«ææä¸åççå¼è¡¨ï¼T表示çï¼F表示å
AâBççå¼è¡¨|AâBççå¼è¡¨||Aâ¨Bççå¼è¡¨|çç¾ççå¼è¡¨â|åå¤æ为Pï¼
AãB| AâBâ||AãB| AâBâ||AãB|Aâ¨Bâ||P|ï¹PãPâ§ï¹P||è´å¤æ为并éP
TãT|âFâ|ï¼|TãT|âFâ||TãT|âFââ||T|âFãâFââ|è´å¤æççå¼è¡¨
TãF|âFâ|ï¼|TãF|âTâ||TãF|âTââ||F|âTãâFââ|P|并éPï¼ï¹Pï¼
FãT|âFâ|ï¼|FãT|âTâ||FãT|âTââ||âââââââ|T|ââFâââ
FãF|âTâ|ï¼|FãF|âTâ||FãF|âFââ||âââââââ|F|ââTâââ
Aâ§Bççå¼è¡¨|
å
åæ¡ä»¶ççå¼è¡¨â||
å¿
è¦æ¡ä»¶ççå¼è¡¨â|
å
è¦æ¡ä»¶ççå¼è¡¨
AãB| Aâ§Bâ||AãB|å¦æAï¼é£ä¹B|AãB|åªæAï¼æB||AãB|AIå½ä¸ä»
å½B
TãT|âTââ||TãT|âââTâââ||TãT|âââTâââ||TãT|ââTââ||
TãF|âFââ||TãF|âââFâââ||TãF|âââTâââ||TãF|ââFââ||
FãT|âFââ||FãT|âââTâââ||FãT|âââFâââ||FãT|ââFââ||
FãF|âFââ||FãF|âââTâââ||FãF|âââTâââ||FãF|ââTââ||