A⥽(B∨¬B)


تاربرگ‌های پیموده‌شده در این نشست: sound ⟩ propositional ⟩ Group ⟩ magma ⟩ term ⟩ magma