Comment Comment by 4ad Disagree, there's no difference. A -> B·C <==> A -> ¬(¬B+¬C). parent 4ad 12 years ago
