Boolean algebra: Standard (canonical), SOP, POS forms