The rules can be expressed in English as:
The negation of a conjunction is the disjunction of the negations.
The negation of a disjunction is the conjunction of the negations.
The rules can be expressed in formal-languagewith two propositions P and Q as:
where:
Chat with our AI personalities