study for logical equivalence exam

Two propositions (simple or compound) are said to be logically equivalent if they have identical truth values. If p is logically equivalent to q, we denote p q. We have already constructed the truth table of (~p) q in earlier class. Recall the same truth t..

Two compound propositions p and q are said to be logically equivalent, if their truth values are same for each different combinations of the truth values of the components involved in them. If p and q are logically equivalent, then it is represented by p..

Introduction - The study of logic through the use of mathematical symbols is called Mathematical Logic. Mathematical logic is also known as Symbolic Logic or Boolean Logic..

Introduction - Logic is the study and analysis of valid arguments. The arguments are in the form of statements or propositions, which are either true or false, but not both. There are also some statements, which appear to be true and false at the same time. They are called parad..

The basic building blocks for a complex digital system are known as logic gates. A gate is a simple electronic circuit or device that performs logical functions. It has one or more inputs and one output gate and are also called binary logic gates, as 1 and 0 are the i..

There are digital circuits which either allow a signal to pass through or stop it. The circuits other wise called as gate allows the signal to pass only when some logical condition are satisfied. Under such condition the circuits are called logic gates. They are building blocks ..

Normally propositions are joined by 'OR', 'AND', 'NOT', 'IF .. THEN..' and 'IF AND ONLY IF' called the logical connectives . They are symbolised as follows: If two or more statements are combined by the use of words like 'AND', 'OR', 'IF AND ONLY IF ', then the resulting statement is ..

Let us refer to a circuit consisting of two switches p and q connected in series with a lamp and battery as shown in figure. The lamp will glow, only if switch p and switch q are closed. If we replace the word 'closed' by T and 'open' by F, the switch will glow only if p = T and q = T. In binary..

This operation has one input and one output. Table 7 represents truth table for NOT operati..

Venn diagrams are used very frequently on problems of set theory. Venn diagrams can also be used for deciding the truthfulness of statemen..