Propositional Logic and Hardware Implementation — Class 11 ISC Computer Science revision notes
A 4-page visual revision sheet for Propositional Logic and Hardware Implementation, written for Class 11 ISC Computer Science. Formulas, diagrams and the traps that cost marks, laid out to be read the night before rather than the term before. Free, and it opens inside CapCompass.
Page 1 as PDFA preview of page 1 — all 4 pages open full size in the app.
Propositional Logic and Hardware Implementation in one look
from a sentence that is true or false, to the gates that add two numbers
A proposition is a sentence with a truth value
a propositional variable stands for a statement that is either true or false, never both and never neither
connectives build bigger statements: NOT for negation, AND for conjunction, OR for disjunction, then implication and equivalence
a well formed formula is one built by the rules: variables are wff, and if p and q are wff then so are NOT p, p AND q, p OR q and the rest, with brackets making the grouping explicit
an interpretation assigns true or false to every variable, and the formula then has one truth value under it
The five connectives
NOT p: negation, true exactly when p is false
p AND q: conjunction, true only when both are true
p OR q: disjunction, true when at least one is true, so it is the inclusive or
p implies q: false only when p is true and q is false, true in every other case including when p is false
p equivalent q: true when both sides carry the same truth value
Page 1 of 4. The full sheet, all 4 pages, opens free in the app.
What this Propositional Logic and Hardware Implementation sheet covers
These notes are not a standalone PDF. CapCompass plans Computer Science chapter by chapter against your real exam dates and free hours, and when the plan reaches Propositional Logic and Hardware Implementation the sheet opens inside the study block itself — at the page covering the sub-topic that block is on, with the timer still running. Revision arrives at the moment the plan says revise, instead of having to be gone looking for.