CodiodeCodiode
Home
Problem Solving
Skill Tracks
My Assignments
Contests
Leaderboard
Community
Settings
Codiode/Problems/Combinational Logic

Expand Non-Canonical SOP to Canonical Form

MediumLogic CircuitAnalyze

Standardizing logic expressions into canonical form is a strict prerequisite for automated logic minimization algorithms and Karnaugh map simplification.

The expression provided is F = AB + C. This sum-of-products expression is not in canonical form because neither term contains all three variables A, B, and C.

Expand the expression into a canonical sum of minterms. Identify the missing variables in each product term and multiply by the appropriate Boolean identity (x + x') to introduce them. Collect all resulting terms and determine the final minterm list.

Constraints

  • The domain of the function is exactly three variables: A (MSB), B, and C (LSB).
  • Minterm indices follow standard binary weighting where A has a weight of 4, B has a weight of 2, and C has a weight of 1.

Topics

boolean-algebramintermscanonical-forms

Solve this problem

Place the gates, wire them up and watch the signals settle. Every submission runs on the same simulation engine that grades it.

This problem is part of Codiode Pro. The statement above is free to read.

Sign in to solveSee what Pro unlocks

The circuit builder and code editor need a desktop screen. On a phone, read the problem here and open it on a laptop to solve.

Related problems

  • Binary to HexEasy
  • 1-to-4 Demultiplexer from AND and NOT GatesEasy
  • 2-to-4 Line Decoder with Active-High EnableEasy
  • Hex Nibble to BinaryEasy
  • Odd Parity Bit Generator for 3-bit DataEasy
  • Full Adder from Half AddersEasy
  • Modulo ArithmeticMedium
  • Two's Complement: Encode a Negative DecimalEasy

Browse all problems · Learning tracks