Page 1 of 1
Making a truth table (logics)
Posted: Mon Mar 17, 2014 4:38 pm
by Janbaas
Hello
I am trying to create a truth table with the following formulas:
∧(2,3,5,7)·(¬p∨¬q∨¬r)
and
∨(1,3,5,7)·(p∧q∧r)
Can anyone help me how to make these? Is there also a way to write these formulas in a simplified way?
Thanks for the help!
Re: Making a truth table (logics)
Posted: Mon Mar 17, 2014 11:46 pm
by Arising_uk
Why are you mixing numbers and variables?
What is this, ^(2,3,5,7), supposed to represent?
And this, ·(¬p∨¬q∨¬r)?
Re: Making a truth table (logics)
Posted: Tue Mar 18, 2014 3:39 am
by The Voice of Time
http://en.wikipedia.org/wiki/List_of_logic_symbols this might help.
Except of course there are three different interpretations for each symbol x)
The most notable meanings for up and down arrows are "AND" and "OR" respectively.
I'd prefer the computer science version of "&&" and "||" though.
Re: Making a truth table (logics)
Posted: Wed Mar 19, 2014 3:22 am
by Arising_uk
Doesn't help at all as I understand the notation of symbolic logic and so far his 'logical propositions' make no syntactical sense.
If its mathematical logic then he should be able to explain what he's trying to say and if its propositional logic then why are the numbers in there?