Distributivity of connectives, Computer Engineering

Distributivity of Connectives :

In our last analogy with arithmetic will involve a very well-technique need for playing around with algebraic properties. But assume there if we wanted to work out: 10 * (3 + 5). Than we could do it like this: 10 * (3 + 5) = 10 * 8 = 80. And may be we could do it like this: (10 * 3) + (10 * 5) = 30 + 50 = 80. In fact generally, we know that, for any numbers, a, b and c: a * (b + c) = (a * b) + (a * c). But like this type of theory, we say that multiplication is  distributive over addition. 

Now if you guessed it, that we can distribute some of more the connectives too. In generally or in particular way, ^ is distributive ? over and vice versa: ? is just distributive over ^. We can present these as equivalences as givens: 

663_Distributivity of Connectives.png

What's more, we saw earlier like → is distributive over ^  , and the same as is true for →over ?  .  So therefore:

1300_Distributivity of Connectives1.png

Posted Date: 1/11/2013 5:39:05 AM | Location : United States

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

Write discussion on Distributivity of connectives
Your posts are moderated
Related Questions
Explain Common Control. Common Control: Those systems wherein the control subsystem is outside the switching network are termed as common control switching system. Therefore,

A software development company wants to create a social network application where users can post brief audio messages giving their thoughts. Each user of the application will ha

How would you implement inheritance using VB.NET/C#? When we set out to execute a class using inheritance, we must first start with an existing class from which we will derive

How can the maximum field width for a data item be specified within a scanf function? When the program is executed, three integer quantities will be entered from the standard i

A scope resolution operator (::), can be used to describe the member functions of a class outside the class.

Q. What do you mean by Loader? Loader is a program that assigns absolute addresses to program. These addresses are produced by adding the address from where program is loaded i

What will exactly the hide statement do? For displaying the details on secondary lists needs that you have previously stored the contents of the selected line from within the

Memory-to-Memory Architecture : The pipelines can access vector operands, intermediate and final results directly in the main memory. This needs the higher memory bandwidth. How

A Scanner is a device which allows you to capture photographs or drawings or text from tangible sources (paper or slides etc.) in electronic form. Scanners work by detecting differ