Commutativity of connectives, Computer Engineering

Commutativity of Connectives :

In this you will be aware of the fact that some arithmetic operators that have a property which it doesn't matter that way around you give the operator input. So than now we call this property as commutativity. Here by using example, where adding two numbers, is  doesn't matter which one comes first, means as a+b = b+a  for all  a  and  b but in the same is true for multiplication there not true for subtraction and division. 

The ^ , ∨ and ↔ connectives that are operate on two sub sentences like as have the commutativity property. Here we can express this with three tautologies:

468_Commutativity of Connectives.png

So than, if there it helps to do so, at any time we see P^ Q that we can rewrite it as Q^ P so similarly for the other two commutative connectives.

Posted Date: 1/11/2013 5:36:21 AM | Location : United States

Related Discussions:- Commutativity of connectives, Assignment Help, Ask Question on Commutativity of connectives, Get Answer, Expert's Help, Commutativity of connectives Discussions

Write discussion on Commutativity of connectives
Your posts are moderated
Related Questions
Question: The abundance of resources and the ease of access to cloud computing can help to bridge the gap the resource gap for mobile computing. Nevertheless some fundamental c

Q. Show the Connection between different networks? The connection between different stages is made in following manner:  all outputs of 1 st crossbar switch of first stage a

Some famous projects on cluster computing are as follows: High Net Worth Project: (developed by: Bill McMillan, JISC NTI/65 - The HNW Project, University of Glasgow, The prim

The A/D converter whose conversion time is independent of the number of bits is ? Ans. Parallel conversion is the A/D converter whose conversion time is independent of the Numbe

Handlers Classification In 1977, Wolfgang Handler suggested a complex notation for representing the pipelining and parallelism of computers. Handler's categorization addresses

What is managed extensibility framework? Managed extensibility framework (MEF) is a new library that is introduced as a part of .NET 4.0 and Silverlight 4. It helps in extendin

Blocking and Non-Blocking network In non-blocking networks the route from any free input node to any free output node can always be offered. Crossbar is an best example of non-

Question 1 What are the different schemes in power management? Explain 2 Explain the functions of parallel port in detail 3 (a) List and explain the functions of keyboard

What is SEGMENT - Assembler directives SEGMENT:  This directive defines to assembler the start of a segment with name segment-name.  Segment name must be unique and follows the