source,target
"FALSE","p&q"
"FALSE","p&¬q"
"FALSE","¬p&q"
"FALSE","¬p&¬q"
"p&q","p"
"p&q","q"
"p&q","p IFF q"
"p&¬q","p"
"p&¬q","p IFF ¬q"
"p&¬q","(¬q)"
"¬p&q","p IFF ¬q"
"¬p&q","q"
"¬p&q","(¬p)"
"¬p&¬q","p IFF q"
"¬p&¬q","(¬q)"
"¬p&¬q","(¬p)"
"p","pvq"
"p","q IMPLIES p"
"q","pvq"
"q","p IMPLIES q"
"p IFF q","q IMPLIES p"
"p IFF q","p IMPLIES q"
"p IFF ¬q","pvq"
"p IFF ¬q","¬pv¬q"
"(¬q)","q IMPLIES p"
"(¬q)","¬pv¬q"
"(¬p)","p IMPLIES q"
"(¬p)","¬pv¬q"
"pvq","TRUE"
"q IMPLIES p","TRUE"
"p IMPLIES q","TRUE"
"¬pv¬q","TRUE"