S
SemanticViz
Formulă Nouă
Formule Salvate
Modus Ponens
16 ian.
(p -> q) & p
De Morgan's Law
16 ian.
~(p & q) <-> (~p | ~q)