A. symbolic reduction
B. using Boolean algebra
C. using a truth table
D. TTL logic
Please do not use chat terms. Example: avoid using "grt" instead of "great".