Questions related to mathematical logic and its use in computer science
This tag is used for Logic in Computer Science and Mathematical Logic questions.
Do not use this tag for digital circuit design questions, use digital-circuits and computer-architecture tags.
