Rostlik jadvali

Formulani kiriting: sayt oraliq ustunlarni hisoblaydi, tavtologiya/ziddiyatni aniqlaydi va MDNF, MKNF ni topadi.

Formula

Amallar — bosib formulaga qo'shing

Namuna: Oraliq ustunlar Qiymatlar:

Yozuv qoidalari va amallar ustuvorligi

Ustuvorlik	Amal	Nomi	Klaviaturada
1 (eng kuchli)	¬	Inkor	`!` `~` `not`
2	∧ ↑	Konyunksiya, NAND	`&` `*` `and`
3	⊕	XOR	`^` `xor`
4	∨ ↓	Dizyunksiya, NOR	`\|` `+` `or`
5	→	Implikatsiya (o'ngdan chapga)	`->` `=>`
6 (eng kuchsiz)	↔	Ekvivalensiya	`<->` `==`

Konstantalar: 0, 1. Bir nechta formulani vergul bilan ajrating: ular teng kuchlilikka tekshiriladi.