AND と OR の推論規則｜記号論理学で連言と選言を扱う

id	29273
user_id	1056
roll_id	1868
order	15
language	ja
description
image_id	0
tag	[symbolic_logic:0.4][conjunction:0.3][disjunction:0.3]
created_time	1769472062
updated_time	1769472062