Pri računanju s števili je pomemben vrstni red različnih operacij. Prav tako moramo tudi v izjavnem računu upoštevati oklepaje in vrstni red oziroma prioriteto izjavnih povezav. Kadar v izjavi ni oklepajev, najprej izvedemo povezavo z najvišjo prioriteto, potem tisto, ki ji sledi, in tako naprej do zadnje povezave.
Izjavne povezave si sledijo takole od navišje do najnižje prioritete:
Če je v izjavi več enakih izjavnih povezav (brez oklepajev), potem jih izvajamo od leve proti desni.
Primer:
A ∧ B ∧ C ∧ D izvedemo kot
(((A ∧ B) ∧ C) ∧ D)
Pravilnost sestavljene izjave glede na vse možne kombinacije pravilnosti elementarnih izjav prikažemo s pravilnostno tabelo. Vse možne kombinacije pravilnosti elementarnih izjav imenujemo polni nabor. Število kombinacij v polnem naboru je odvisno od števila elementarnih izjav. Izračunamo ga po formuli (2^število elementarnih izjav).
V naslednji sestavljeni izjavi z oklepaji nakaži vrstni red računanja. Odgovor vpiši v okno brez presledkov.
¬A∧B⇔¬A⇒B⇒¬B∧C⇒¬A∨B∧CIzpolni pravilnostno tabelo spodnje izjave.
V stolpce A, B, C vpiši vse možne kombinacije vrednosti teh treh izjav. Vrednost elementarnih izjav zapiši z 1 ali 0.
V stolpec vrednost vpiši vrednost izjave pri vpisanih vrednostih izjav A, B, C.
V stolpec vrednost vpiši p ali n.
(A⇒B)∨(¬(B∧C))
A | B | C | Vrednost |
---|---|---|---|