Logik & Sandhedstabel
Byg logiske udtryk og generer sandhedstabeller
Beregn
A
Udsagn
B
Udsagn
C
Udsagn
¬
Ikke
∧
Og
∨
Eller
⇒
Medfører
⇐
Konsekvens
⇔
Ensbetydende
(
Start
)
Slut
⌫
Slet
C
Ryd alt
Hurtige eksempler:
A ⇒ B
A ∧ B
A ⇔ B
A ∧ (A ⇒ B)
(A ∧ B) ⇒ A
De Morgan
Sandhedstabel
Forklaring på operatorer:
¬ (Ikke):
Negation (omvender Sand/Falsk)
∧ (Og):
Konjunktion (sand når begge er sande)
∨ (Eller):
Disjunktion (sand når mindst én er sand)
⇒ (Medfører):
Implikation (falsk KUN hvis S ⇒ F)
⇐ (Konsekvens):
Omvendt implikation (A ⇐ B er B ⇒ A)
⇔ (Ensbetydende):
Biimplikation (sand når begge har samme værdi)