PanLinx
English
eng-000
distributive law of disjunction over conjunction
PanLex