{TF}β§β¨β
π§ π‘βπ
μΉ νβββοΈ
μΉ νγμΉ νββ
βοΈββ«Ξ±Ξ²
ππβοΈ
π§©π’βοΈ
π€π‘βοΈπ₯π¦
π§©βοΈπ
πππ
ππβ¨
πβ π
Ξ£β¨π
ββ«βΟβ΄
#logic #propositional logic #boolean algebra #truth values #logical operators #proofs #mathematical logic