Pages

Monday, February 21, 2011

TrUth tAbLe

Definition 1 : the proposition “not p”--- ¬ p.
TABLE 1 : The truth table for ¬p
p
 ¬p
T
F
F
T

Definition 2 : the proposition “p and q”---p ʌ q.
TABLE 2 : The truth table for p ʌ q
p
q
p ʌ q
T
T
T
T
F
F
F
T
F
F
F
F

Definition 3 : the proposition “p or q”---p v q.
TABLE 3 : The truth table for p v q
p
q
p v q
T
T
T
T
F
T
F
T
T
F
F
F

Definition 4 : the proposition (if…..then…)---p → q.
TABLE 4 : The truth table for p → q
p
q
p → q
T
T
T
T
F
F
F
T
T
F
F
T

Definition 5 : the proposition (if and only if)---p ↔ q.
TABLE 5 : The truth table for p ↔ q
p
q
p ↔ q
T
T
T
T
F
F
F
T
F
F
F
T

Example of Logics Application

Boolean logic is a binary logic system, meaning that it takes into account two possible states: 0 and 1.For example, 0 could represent the state "false" and 1 could be "true".
Boolean logic is really just a set of rules for the manipulation of given inputs. It consists of a set of "logic gates", each of which is a different set of rules. The three main logic gates are AND, OR, and NOT. AND and OR require two inputs, whereas NOT only requires one. Here is an explanation of each gate:



AND

It can be written like this: (ie. "p AND q" can also be written as "p q")
When two inputs are entered into the AND gate, the output is always 0 unless both inputs are 1. Here is a truth table for the AND gate:


p q p AND q
1 1

1
1 0

0
0 1

0
0 0

0




OR

It can be written like this: (ie. "p OR q" can also be written "p q")
When two inputs are entered into the OR gate, the output is always 1 unless both inputs are 0. Here is a truth table for the OR gate:


p q p OR q
1 1

1
1 0

1
0 1

1
0 0

0




NOT


It can be written like this:
-(ie. "NOT p" can also be written as "-p")
When an input is entered into the NOT gate, the output is the opposite of that input. In other words, if the input is 1, the output is 0. And if the input is 0, the output is 1.
Since both the input and output for a gate are ones and zeros, the output from one gate can serve as the input for another. Two or more gates linked in this fashion are called a logic network. The truth table still functions the same way. For example, consider the network below.



p q NOT((p AND q) OR q)
1 1

0
1 0

1
0 1

0
0 0

1
P and q are both inputs to the AND gate. Then, the output from the AND gate and q are inputs for the OR gate. The output from the OR gate is input for the NOT gate. The output from the NOT gate is the final result for the whole network.

Sunday, February 20, 2011

PROPOSITIONAL LOGIC (TRUTH TABLE...)


  • Symbols are used to represent statement to show their relation.
  • In general, people usually use lower case letters such as p,q,r,s,... to represent the propositions and will be combine later to get compound proposition by using the standard logical operators such as:
              1)        ¬       - NOT or Negation
                 2)          ˄       - AND
                 3)          ˅       - 0R
                 4)         →      - conditional implication (if....then....)
                 5)    ←→      - if and only if ( bi-conditional )


  •  We can obtain the result of compound proposition by using a TRUTH TABLE.
  • In particular, truth tables are used to tell whether a propositional expression is true for all legitimate input values, that is, logically logic.
  • In simple word, a Truth Table shows the relationship between the truth values of proposition.  

  •  Next, we will see 5 basic truth table for the 5 logical operators.

---LogiC---

History---  
The rigorisation of mathematics in the 19th Century culminated in Frege's attempt to reduce mathematics to formal logic, and Russell's discovery of the incoherence of Frege's logical system.
Definition--
Logic is for constructing proofs, which give us reliable confirmation of the truth of the proven proposition.
 Logic consist of truth value which TRUE, FALSE but not both.

I LOVE MATH..!!!!

Friday, February 18, 2011

Assalamualaikum dan Salam Sejahtera

Blog ni, diwujudkan khas untuk subjek Math Discreet. Segala group works n project presentations akan di publish di blog ni. Subject Math Discreet ni diambil oleh pelajar Ijazah Sarjana Muda Sains Komputer semester II dan diajar oleh Puan Elissa Nadia Madi. -sekian-


unisza