SATRennesPa

Examples
Help
Language

Basic constructions

$p$ $q$ ${(p\;i)}$ ${\left (p(\left i+1)\right})$ $p_{i,j}$ $\left(?\wedge?\right)$ $\neg?$ $\left(?\vee?\right)$ $\left(?\oplus?\right)$ $\left(?\rightarrow?\right)$ $\left(?\leftrightarrow?\right)$ $\bigwedge_{i\in\lbrace1,2,3\rbrace}?$ $\bigvee_{i\in\lbrace1,2,3\rbrace}?$ $\bigoplus_{i\in\lbrace1,2,3\rbrace}?$ $\bigwedge_{i\in\lbrace1,2,3\rbrace\vert\left(i\neq j\right)}?$ $\bigvee_{i\in\lbrace1,2,3\rbrace\vert\left(i\neq j\right)}?$

Countries

Colors

Calendar

Misc

Test whether the set of formulas is satisfiable

Add a new formula