| Eredmény jelölése: | Logikai jelek: | Táblázat típusa: |
|---|---|---|
| T/F | ¬, ∧, ∨, →, ↔ | Teljes táblázat |
| ⊤/⊥ | ~, &, ∨, →, ↔ |
A táblázat
főoszlopai |
| 1/0 |
~, &, ∨, ⊃, ≡ |
Szöveges táblázat |
| LaTex táblázat |
Az alábbi szimbólumok használhatók az oldalon:
| ~ / ¬ | - negáció |
| & / ∧ | - konjunkció |
| v / ∨ | - diszjunkció |
| > / ⊃ | - implikáció |
| <> / ≡ | - ekvivalencia |
Példák a program megfelelő működéséhez:
(/ jellel elválasztva különböző szimbólumó formulák tesztelhetőek!)
| ~p / ¬p |
| (p & q) / (p ∧ q) |
| (p > (q v ~r)) / (p ⊃ (q ∨ ¬r)) |
| (p & (~q > r)) / (p ∧ (¬q ⊃ r)) |
| {(p<>(qvr)), p, (~q>r)} / {(p≡(q∨r)), p, (¬q⊃r)} |