Connections
propositional calculus
Entity
Boolean algebra
Entity
associativity
Entity
distributive property
Entity
logical conjunction
Entity
formal system
Entity
converse
Entity
logical truth
Entity
Sheffer stroke
Entity
double negation
Entity
logic
Entity
Bertrand Russell
Entity
Ludwig Wittgenstein
Entity
programming language
Entity
function
Entity
Georg Cantor
Entity
Kurt Gödel
Entity
theorem
Entity
mathematical logic
Entity
Alfred North Whitehead
Entity