LOOGIKA PÕHIREEGLID. SEMANTILINE KOLMNURK Loogika määratlemisest
Sulud
võib ära jätta ka siis, kui tehete järjekorra reeglid seda lubavad.
12
NÜ. Koostage tõeväärtustabel valemile: A & ¬U ∨ ¬(U → A).
Lahendus: tõeväärtustabeli ülarea kohal on toodud tehete sooritamise järjekord. Poolpaksus
kirjas on esile toodud esitatud valemi kui terviku tõeväärtuste – ehk siis lõpliku tulemuse –
veerg. Ülejäänud veerud on abiveerud. Ülesannet on mõistlik lahendada veergude kaupa.
4. 3. 5. 2. 1.
A U A & ¬U ∨ ¬ (U → A)
1100001
1011101
0100110
0001001
Kõigepealt leiame tõeväärtused sulgude sees (1.), seejärel teostame eituse, mis rakendub
sulgude sees oleva tõeväärtuse kohta (2.). Seejärel teostame eituse, mis rakendub
lausemuutujale U (3.). Järgnevalt sooritame konjunktsiooni A ja mitte-U vahel (4.) ning
lõpuks disjunktsiooni neljandana ja teisena saadud tulemite vahel (5.).
LAUSEARVUTUSE SÜNTAKS
Lausemuutujad võivad omada erinevaid tõeväärtusi (tõene või väär), ning metamuutujate
annaabi.ee 
