Mister Exam
Matemātiskā loģika pa soļiem
Ar pareizu risinājumu kļūsi par visiem mīļāko grupā ❤️😊
⌨
- Izmantot simbolisko loģiku un loģikas algebru
- Ievietot iekavas izteiksmē, ņemot vērā darbību prioritāti
- Vienkāršot loģiskās izteiksmes
- Veido patiesības tabulu ievadītajām formulām
- Atrast loģiskās izteiksmes normālformas:
- Konjunktīvo normālformu (KNF), ieskaitot pilnīgo
- Disjunktīvo normālformu (DNF), ieskaitot pilnīgo
Loģisko izteiksmju piemēri
- Ar noliegumu
(A⇒B)⇒¬(B⇒A)
- Loģisko izteiksmju saskaitīšana
(A⊕B)∨(A⊕C)
- Ar zīmi "ekvivalence"
(A⇒B)∨(B⇔C)
- Ar zīmi "implikācija"
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NE-VAI
(A⇒B)∧(A↓C)
- Ar konjunkciju un dizjunkciju
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- Ar NE-UN un NE-VAI
0↓1|a|b|c|1↓0
Atbalstītie simboli loģiskos izteiksmju
Šeit norādīti simboli, kurus jāizmanto, ievadot loģisko formulu kalkulatorā
- ¬a
- – noliegums
- a⇒b
- – implikācija
- a∧b
- – konjunkcija
- a∨b
- – disjunkcija
- a⇔b
- – ekvivalence
- a⊕b
- – saskaitīšana pēc moduļa 2 ( Izslēdzošais VAI)
- a|b
- – NE-UN (Šeffera svītra)
- a↓b
- – NE-VAI (Pīrsa bulta)
- a⊙b
- – XNOR gate ( Izslēdzošais VAI ar inversiju)
Kalkulatorā var vienkāršot izteiksmes, kas satur šādas operācijas: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR