Try these proofs!
( A → B ) ( S → ¬ N ) ( K ∧ S ) ( ¬ N → ( K ↔ G ) ) Target: ( G ∧ ¬ N )
( ¬ A ∧ B ) ( ¬ A → ( C → D ) ) ( C ∧ S ) ( D → P ) ( P → J ) target: ( ¬ A ∧ J )
( A → B ) ( S → ¬ N ) ( K ∧ S ) ( ¬ N → ( K → G ) ) Target: G
Mimir
An automated theorem prover specialized for propositional logic.
Log in or sign up for Devpost to join the conversation.