https://www.bugbotlab.com/learn/a8-3-boolean-identities-and-laws/
Boolean identities and laws | OCR H446 1.4.3, AQA 7517 4.6.5.1
The identities, commutation, association, distribution, double negation and absorption, proved by truth table.
boolean identitieslawsocraqa