○×の組み合わせ(命題2つ)

 IN   OUT 
 P   Q   ￢(p2-16) 
 (p2-1)∧(p2-1) 
 (p2-1)∧(p2-2) (*1) 
 (p2-1)∧(p2-3) (*1) 
 (p2-1)∧(p2-4) (*1) 
 (p2-1)∧(p2-5) (*1) 
 (p2-1)∧(p2-6) (*1) 
 (p2-1)∧(p2-7) (*1) 
 (p2-1)∧(p2-8) (*1) 
 (p2-1)∧(p2-9) (*1) 
 (p2-1)∧(p2-10) (*1) 
 (p2-1)∧(p2-11) (*1) 
 (p2-1)∧(p2-12) (*1) 
 (p2-1)∧(p2-13) (*1) 
 (p2-1)∧(p2-14) (*1) 
 (p2-1)∧(p2-15) (*1) 
 (p2-1)∧(p2-16) (*1) 
 (p2-2)∧(p2-3) (*1) 
 (p2-2)∧(p2-5) (*1) 
 (p2-2)∧(p2-7) (*1) 
 (p2-2)∧(p2-9) (*1) 
 (p2-2)∧(p2-11) (*1)  		 ￢(p2-15) 
 (p2-2)∧(p2-2) 
 (p2-2)∧(p2-4) (*1) 
 (p2-2)∧(p2-6) (*1) 
 (p2-2)∧(p2-8) (*1) 
 (p2-2)∧(p2-10) (*1) 
 (p2-2)∧(p2-12) (*1)  		 ￢(p2-14)   ￢(p2-13)   ￢(p2-12)   ￢(p2-11)   ￢(p2-10)   ￢(p2-9)   ￢(p2-8)   ￢(p2-7)   ￢(p2-6)   ￢(p2-5)   ￢(p2-4)   ￢(p2-3)   ￢(p2-2)   ￢(p2-1) 
 p2-1 
 p0-1 
  p2-2 
 - 
  p2-3 
 - 
  p2-4 
 p1-2 
  p2-5 
 - 
  p2-6 
 p1-2 
  p2-7 
 - 
  p2-8 
 - 
  p2-9 
 - 
  p2-10 
 - 
  p2-11 
 p1-3 
  p2-12 
 - 
  p2-13 
 p1-3 
  p2-14 
 - 
  p2-15 
 - 
  p2-16 
 p0-2 
 ×  ×   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○ 
 ×  ○   ×  ×   ○  ○   ×  ×   ○  ○   ×  ×   ○  ○   ×  ×   ○  ○ 
 ○  ×   ×  ×   ×  ×   ○  ○   ○  ○   ×  ×   ×  ×   ○  ○   ○  ○ 
 ○  ○   ×  ×   ×  ×   ×  ×   ×  ×   ○  ○   ○  ○   ○  ○   ○  ○ 

(*1)演算子の前後を入れ替えても真偽は同じ


 IN   OUT 
 P   Q   p2-1 
 P∧￢P  		 p2-2 
 ￢P∧￢Q 
 ￢Q∧￢P 
 ￢￢(￢P∧￢Q) 
 ￢￢(￢Q∧￢P) 
 ￢(￢P⇒Q) 
 ￢(￢Q⇒P) 
 ￢(P∨Q) 
 ￢(Q∨P)  		 p2-3 
 ￢P∧Q 
 Q∧￢P 
 ￢￢(Q∧￢P) 
 ￢(Q⇒P) 
 ￢￢Q∧￢P 
 ￢￢(￢￢Q∧￢P) 
 ￢(￢￢Q⇒P) 
 ￢(￢Q∨P) 
 ￢P∧￢￢Q 
 ￢￢(￢P∧￢￢Q) 
 ￢(￢P⇒￢Q) 
 ￢(P∨￢Q)  		 p2-4 
 ￢P 
 ￢￢￢P  		 p2-5 
 P∧￢Q 
 ￢Q∧P 
 ￢￢(P∧￢Q) 
 ￢(P⇒Q) 
 ￢￢P∧￢Q 
 ￢￢(￢￢P∧￢Q) 
 ￢(￢￢P⇒Q) 
 ￢(￢P∨Q) 
 ￢￢P∧￢Q 
 ￢￢(￢￢P∧￢Q) 
 ￢(￢￢P⇒Q) 
 ￢(￢P∨Q) 
 ￢Q∧￢￢P 
 ￢￢(￢Q∧￢￢P) 
 ￢(￢Q⇒￢P) 
 ￢(Q∨￢P) 
  p2-6 
 ￢Q 
 ￢￢￢Q  		 p2-7 
 ￢(￢(P∧￢Q)∧￢(Q∧￢P)) 
 ￢((P⇒Q)∧(Q⇒P)) 
 ￢(P⇔Q)  		 p2-8 
 ￢(P∧Q) 
 ￢(Q∧P) 
 ￢(￢￢P∧Q) 
 ￢(￢￢Q∧P) 
 ￢(P∧￢￢Q) 
 P⇒￢Q 
 ￢(Q∧￢￢P) 
 Q⇒￢P 
 ￢(￢￢P∧￢￢Q) 
 ￢￢P⇒￢Q 
 ￢P∨￢Q 
 ￢(￢￢Q∧￢￢P) 
 ￢￢Q⇒￢P 
 ￢Q∨￢P  		 p2-9 
 P∧Q 
 Q∧P 
 ￢￢P∧Q 
 ￢￢Q∧P 
 P∧￢￢Q 
 ￢￢(P∧￢￢Q) 
 ￢(P⇒￢Q) 
 Q∧￢￢P 
 ￢￢(Q∧￢￢P) 
 ￢(Q⇒￢P) 
 ￢￢P∧￢￢Q 
 ￢￢(￢￢P∧￢￢Q) 
 ￢(￢￢P⇒￢Q) 
 ￢(￢P∨￢Q) 
 ￢￢Q∧￢￢P 
 ￢￢(￢￢Q∧￢￢P) 
 ￢(￢￢Q⇒￢P) 
 ￢(￢Q∨￢P)  		 p2-10 
 ￢(P∧￢Q)∧￢(Q∧￢P) 
 (P⇒Q)∧(Q⇒P) 
 P⇔Q  		 p2-11 
 Q 
 ￢￢Q  		 p2-12 
 ￢(￢Q∧P) 
 ￢(P∧￢Q) 
 P⇒Q 
 ￢(￢￢P∧￢Q) 
 ￢￢P⇒Q 
 ￢P∨Q 
 ￢(￢￢P∧￢Q) 
 ￢￢P⇒Q 
 ￢P∨Q 
 ￢(￢Q∧￢￢P) 
 ￢Q⇒￢P 
 Q∨￢P  		 p2-13 
 P 
 ￢￢P  		 p2-14 
 ￢(￢P∧Q) 
 ￢(Q∧￢P) 
 Q⇒P 
 ￢(￢￢Q∧￢P) 
 ￢￢Q⇒P 
 ￢Q∨P 
 ￢(￢P∧￢￢Q) 
 ￢P⇒￢Q 
 P∨￢Q  		 p2-15 
 ￢(￢P∧￢Q) 
 ￢(￢Q∧￢P) 
 ￢P⇒Q 
 ￢Q⇒P 
 P∨Q 
 Q∨P  		 p2-16 
 P∨￢P 
 ×  ×   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○   ×  ○ 
 ×  ○   ×  ×   ○  ○   ×  ×   ○  ○   ×  ×   ○  ○   ×  ×   ○  ○ 
 ○  ×   ×  ×   ×  ×   ○  ○   ○  ○   ×  ×   ×  ×   ○  ○   ○  ○ 
 ○  ○   ×  ×   ×  ×   ×  ×   ×  ×   ○  ○   ○  ○   ○  ○   ○  ○ 

├目次に戻る