Some results in mathematics have the force of real truths, being independent of interpretation or context. When we state that 2 + 2 = 4 we know that this will be correct for any intelligent entity ...
Sometimes it can be difficult for beginners to wrap their brains around logic gates, truth tables, Karnaugh maps, and minimization techniques, but it soon gets easier. Sometimes it can be difficult ...