0:00
Svårighetsgrad: AvanceradKategori: PropositionslogikTyp: Uttrycksutvärdering

Utvärdera följande uttryck: ¬P ↔ (Q → R) när P = falsk, Q = sann, och R = falsk

¬P ↔ (Q → R) where P = ⊥, Q = ⊤, R = ⊥