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