Algebraic types
Formula Type-1a
Formula Type-1b
Formula Type-2a
Formula Type-2b
Formula Type-3a
Formula Type-3b
Formula for Reduction
Formula Type-4
Information: Algebraic types