Theorem Marketplace

Theorem Details

-- De Morgan's law

theorem demorgan_not_or (P Q : Prop) : ¬(P ∨ Q) ↔ (¬P ∧ ¬Q) := by sorry

Bounty: 0.03 ETH

Status: Open

Submit Your Proof

Back to Bounties