12. tétel: A Boole-algebra alapfogalmai, a főbb logikai műveletek igazságtáblái