Home One formula Preselected formulae Random formulae

Preselected formulae

select one of the following formulae (details about the formulae here):

p p ∧ q p ∨ q 《1》◯p 《1》◊p 《1》☐p
《1》p Մ q ¬《1》p Մ q p ∧ ¬p ¬¬《1》p Մ q p → q ¬《1》◊p
《1,2》p Մ q ∧ 《1,2》◯r 《1,2》p Մ q ∧ 《3,4》◯r
《1,2》p Մ q ∧ 《2,3》◯r 《2,1》p Մ q ∧ 《3,2》◯r
¬《1,2》◯ p ∧ 《1》☐q ¬《1,2》◯ p ∧ 《1,2,3》☐q
《 》 p Մ q ∧ 《1,2》◯r ¬p ∨ 《1》◊ p
(p ∧ q) ∧ 《1》☐¬(p ∧ q) 《1》☐p ∧ ¬《2》◊《1》☐p
《1》◯p ∧ ¬《1》◯p 《1》p Մ q ∨ ¬《1》☐q
《1,2》p Մ (¬《1》☐p) 《1》(¬《1,2》☐p) Մ q
《》☐《》p Մ q 《1,2,3》☐《2,3》☐(p ∧ q) ∧ 《4》◯¬p
《1》◯p ∧ 《2》◯q ∧ 《1,2》◯r ∧ ¬《1》◯r ∧ ¬《3》◯q
¬《1》◯r ∧ ¬《3》◯q ∧ 《1》◯p ∧ 《2》◯q ∧ 《1,2》◯r
¬《1》◯r ∧ 《1》◯p ∧ 《2》◯q ∧ ¬《3》◯q ∧ 《1,2》◯r
¬《1》☐p ∧ 《1,2》◯p ∧ ¬《2》◯¬p 《1,2,3》☐《2,3,4》☐(p ∧ q)
¬(《1》☐p ∨ 《1》☐¬p) ¬(《1》☐p ∧ 《1》☐¬p)
¬《1》p Մ ¬《2》q Մ r 《1》☐¬q ∧ 《2》p Մ q
《1》☐p ∧ ¬《1,2》☐p ¬《1》◯p ∧ 《2》◯¬p 《1》◯p ∧ 《2》◯¬p
《1》p Մ q ∧ 《2》q Մ r ∧ 《2》☐¬r 《1》p Մ q ∧ 《2》q Մ r ∧ 《1》☐¬r