(P∨Q)∨R と P∨(Q∨R) [結合律(ASSOCIATIVITY)]の真偽表(推論)

 P  Q   R  P∨Q   Q∨R  (P∨Q)∨R   P∨(Q∨R) 
 ○  ○  ○  ○  ○  ○  ○ 
 ○  ○  ×  ○  ○  ○  ○ 
 ○  ×  ○  ○  ○  ○  ○ 
 ○  ×  ×  ○  ×  ○  ○ 
 ×  ○  ○  ○  ○  ○  ○ 
 ×  ○  ×  ○  ○  ○  ○ 
 ×  ×  ○  ×  ○  ○  ○ 
 ×  ×  ×  ×  ×  ×  × 

目次に戻る