Вычислите следующее выражение: P ∨ Q, когда P = ложь и Q = истина
P ∨ Q where P = ⊥, Q = ⊤
Руководства, которые объясняют то, что отрабатывает это упражнение.
