Programiranje 1: Logika sudova

Ovdje možete usporediti ekvivalentnost dvije formule logike sudova

Formule za usporedbu:

Uputa: Izraz se zadaju pomoću x-eva: x0,x1,x2,...
Operator "i" se zapisuje zvjezdicom ("*"), a operator "ili" plusom ("+"). Negacija se zapisuje pomoću uskličnika ("!") ispred izraza koji se negira.
Na primjer, izraz
x₂⋅x₁⋅x₀ + x₂⋅x₁⋅x₀
zapisujemo ovako:
!x2*!x1*x0+!x2*x1*x0
Provjeravati možete i pojednostavljene izraze, a dozvoljena je i upotreba zagrada.

Pitanja, komentari, pohvale i slično: na Forumu.