LMD Async Tutoring

[LMD]

I have skimmed the first few posts in Eternity’s thread on the logic topic but mainly for any links/resources. I’ll mention if I remember anything from there if it comes up.

I started with this post here:

@Elliot

Find and do some practice problems.

Here are two types you might be able to find or create yourself:

1. Create truth table for expression like or(not(x), y)
2. Evaluate expression like not(and(1, 0))

There are multiple other ways the expressions can be formatted. Using other formats is fine.

Word problems will be later.

1. Truth tables:

2. Evaluate expressions:

if:
x = 1
y = 1

1. xnor(and(x, y), x) = 1
2. nand(x, not(y)) = 1
3. xor(not(x), y) = 1
4. or(not(x), y) = 1
5. not(and(x, y)) = 0
6. XOR(NAND(NOT(x), y), y) = 0
7. NOT(XNOR(x, y)) = 0
8. AND(OR(NOT(x), y), y) = 1

if
x = 1
y = 0

1. xnor(and(x, y), x) = 0
2. nand(x, not(y)) = 0
3. xor(not(x), y) = 0
4. or(not(x), y) = 0
5. not(and(x, y)) = 1
6. XOR(NAND(NOT(x), y), y) = 1
7. NOT(XNOR(x, y)) = 1
8. AND(OR(NOT(x), y), y) = 0