Program je dizajniran za dobivanje tablica istine logičkih funkcija s brojem varijabli od jedne do pet. Logička (Booleova) funkcija od n varijable y = f(x1, x2, …, xn) je funkcija sa svim varijablama, a sama funkcija može uzeti samo dvije vrijednosti: 0 i 1.
Glavne funkcije logike
Varijable koje mogu uzeti samo dvije vrijednosti 0 i 1 nazivaju se logičkim varijablama (ili jednostavno varijablama). Imajte na umu da logička varijabla Nazionale može podrazumijevati pod brojem 0 neku izjavu koja je lažna, a pod brojem 1 neku izjavu koja je istinita.
Iz definicije logičke funkcije proizlazi da je funkcija od ama varijable je mapiranje Bn do B koje se može izravno definirati tablicom koja se naziva tablica istine te funkcije.
Glavne funkcije logike su funkcije dviju varijabli z = f(x,y).
Broj ovih značajki je 24 = 16. Prebrojimo ih i rasporedimo u prirodni poredak.
Pogledajmo ove značajke detaljnije. Dvije od njih su f0 = 0 i f15 = 1 su konstante. Funkcije f3, f5, f10 i f12 u osnovi su funkcije jedne varijable.
Najvažnije funkcije dviju varijabli imaju posebna imena i oznake.
1) f1 – veza (i funkcija)
Imajte na umu da je spajanje zapravo uobičajeno množenje (nula i jedinica). Ova je funkcija označena x&y;
2) f7 je disjunkcija (ili funkcija). To je označeno V.
3) f13 to je implikacija (slijeđenje). Označeno ->.
To je vrlo važna funkcija, posebno u logici. To se može promatrati na sljedeći način: if x = 0 (tj. X je “lažno”), tada se iz te činjenice mogu zaključiti i “laž” i “istina” (i to bi bilo točno) ako y = 1 (i.e. y je “ istina ”), tada se istina izvodi i iz “lažnog” i iz “istinitog”, a i to je točno. Pogrešan je samo zaključak”iz istine slijedi laž”. Imajte na umu da bilo koji teorem uvijek zapravo sadrži ovu logičku funkciju;
4) f6 – zbrajanje modula 2. To je označeno a “+” znak ili a “+” znak u krugu.
5) f9 to je ekvivalentnost ili sličnost. Ovaj f9 = 1 ako i samo ako x = y. To je označeno x ~ y.
6) f14 to je schaefferova crtica. Ova se funkcija ponekad naziva “ne i” (jer je jednaka negaciji veznika). To je označeno x|y.
7) f8 je Pierceova strelica (ponekad se ova funkcija naziva Lukasevičev potez).
Ostale tri značajke, (f2 , f4, and f11) nemaju posebnu oznaku.
Imajte na umu da logika često razmatra funkcije iz funkcija, tj. U ovom je slučaju slijed radnji označen (kao i obično) zagradama.
Korisnički priručnik
- Svi znakovi koje je korisnik unio bit će prikazani na kalkulatoru
- Uz simboličke operande predstavljene u sučelju aplikacije, moguć je i unos tipkovnice
- Ako je korisnik pogriješio prilikom unosa funkcije, posljednji uneseni znakovi mogu se izbrisati pritiskom na tipku za pomicanje
- Aplikacija podržava automatsku provjeru ispravnosti unesenih vrijednosti. Odnosno, u slučaju pogreške, simbol se neće pojaviti na zaslonu, već će, naprotiv, vibrirati, dajući korisniku do znanja da je napravljena pogreška
- Nakon što završite s unosom prilagođenog izraza, morate kliknuti gumb za potvrdu da biste prikazali tablicu istine
- Ako je izračunatih vrijednosti bilo previše, tablica se može pomaknuti prema dolje da biste vidjeli ostale opcije
- Na vrhu se, kao savjet, prikazuje izraz koji je korisnik unio
- Da biste se vratili na početnu stranicu, kliknite bilo gdje u proračunskoj tablici
