Aşağıdaki ifadeyi değerlendirin: P ∧ Q burada P = doğru ve Q = doğru
P ∧ Q where P = ⊤, Q = ⊤
Bu alıştırmanın konusunu anlatan rehberler.