2
$\begingroup$

I'm looking at a worksheet that expresses boolean logic expressions using multiplication, addition, and apostrophes; something I've never seen before.

I can make a guess that the apostrophe is equivalent to ¬ (except it's suffixed instead of prefixed). But I'm not sure what the addition and multiplication of the variables/propositional atoms would mean. Furthermore, I don't know how a boolean logic formula can "output" something other than just a truth value...

I can't seem to piece together with certainty the meaning of this representation. Could anyone take a look at the below example and maybe make a guess as to a translation of this representation to the more traditional ^, v, and ¬ symbols?

This arose in the context of digital logic in terms of logic gates and such on a CPU, if that makes a difference.

enter image description here

An alleged truth table of the above two expressions (the first row is filled in as an example):

enter image description here

$\endgroup$
5
  • $\begingroup$ @ShyPerson Thank you very much! I guessed that but didn't think it worked, but looking back now it would make sense! Do you know why they have a specific term written in the box? Is that just the term in the expression that turns out to be true, do you think? $\endgroup$ Commented Nov 4, 2019 at 12:52
  • $\begingroup$ @JamesRonald: Yes, it looks like that's the term that makes the whole expression true. $\endgroup$
    – ShyPerson
    Commented Nov 4, 2019 at 19:16
  • $\begingroup$ @YuvalFilmus: Thanks for the encouragement to create an answer. I guess I'm still unsure about when to create a comment versus an answer. Is there some documentation somewhere that would clarify this? Many thanks $\endgroup$
    – ShyPerson
    Commented Nov 4, 2019 at 19:17
  • $\begingroup$ @ShyPerson Generally speaking, it’s better for questions to have an answer. $\endgroup$ Commented Nov 4, 2019 at 19:18
  • 1
    $\begingroup$ Do not post pictures of formulas, please. You can use LaTeX to type them, it's a lot more polite and generally friendlier. $\endgroup$ Commented Nov 4, 2019 at 19:25

1 Answer 1

4
$\begingroup$

Usually $+$ means $\lor$, "multiplication" means $\land$, and $'$ means $\lnot$.

$\endgroup$
2
  • $\begingroup$ Thank you very much for the help! $\endgroup$ Commented Nov 5, 2019 at 17:15
  • $\begingroup$ Sure! Happy to. $\endgroup$
    – ShyPerson
    Commented Nov 5, 2019 at 21:29

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.