「Aが真」かつ「Bが真」	「Aの否定」またはB	AならばB
		真

「Aが真」かつ「Bが偽」	「Aの否定」またはB	AならばB
		偽

「Aが偽」かつ「Bが真」	「Aの否定」またはB	AならばB
		真

「Aが偽」かつ「Bが偽」	「Aの否定」またはB	AならばB
		真

「Aが真」かつ「Bが真」	Aかつ「Bの否定」	背理法
		矛盾

「Aが真」かつ「Bが偽」	Aかつ「Bの否定」	背理法
		トートロジー

「Aが偽」かつ「Bが真」	Aかつ「Bの否定」	背理法
		矛盾

「Aが偽」かつ「Bが偽」	Aかつ「Bの否定」	背理法
		矛盾