Topic 5. Switching algebra. Logic function minimisation