[メモ]カルノー図（ベイチ図）

　３条件の場合のカルノー図。

	A		￢A
	B	￢B		B
C	A∩B∩C	A∩￢B∩C	￢A∩￢B∩C	￢A∩B∩C	C
￢C	A∩B∩￢C	A∩￢B∩￢C	￢A∩￢B∩￢C	￢A∩B∩￢C	￢C
	B	￢B		B
	A		￢A

	A		非A
	B	非B		B
C	AかつBかつC	Aかつ非BかつC	非Aかつ非BかつC	非AかつBかつC	C
非C	AかつBかつ非C	Aかつ非Bかつ非C	非Aかつ非Bかつ非C	非AかつBかつ非C	非C
	B	非B		B
	A		非A

	グーがでる		グーが出ない
	パーがでる	パーが出ない		パーがでる
チョキがでる	あいこ	グーの勝ち	全員チョキ	チョキの勝ち
チョキが出ない	パーの勝ち	全員グー	ありえない	全員パー	グーかパーだけ
		グーかチョキだけ
	グーがでる		グーが出ない

 

　条件が４つ以上の場合も同様にして行あるいは列を増やすことで書くことができます。
　気を付けないといけないのは、

[SYS]意図しない合成の典型例

　です。