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!
Making a truth table (logics)
- Arising_uk
- Posts: 12314
- Joined: Wed Oct 17, 2007 2:31 am
Re: Making a truth table (logics)
Why are you mixing numbers and variables?
What is this, ^(2,3,5,7), supposed to represent?
And this, ·(¬p∨¬q∨¬r)?
What is this, ^(2,3,5,7), supposed to represent?
And this, ·(¬p∨¬q∨¬r)?
- The Voice of Time
- Posts: 2234
- Joined: Tue Feb 28, 2012 5:18 pm
- Location: Norway
Re: Making a truth table (logics)
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.
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.
- Arising_uk
- Posts: 12314
- Joined: Wed Oct 17, 2007 2:31 am
Re: Making a truth table (logics)
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?
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?