Laws of logic: Meaning (information, definition, explanation, facts)
The following laws of logic are valid in propositional logic and can be proved with truth tables. They are also valid in any boolean algebra. See logical operator for the meaning of the symbols.
| Idempotent |
p ∨ p ≡ p |
| Associative | (p ∧ q ) ∧ r ≡ p ∧ ( q ∧ r ) (p ∨ q ) ∨ r ≡ p ∨ ( q ∨ r ) |
| Commutative | p ∧ q ≡ q ∧ p p ∨ q ≡ q ∨ p |
| Distributive | p ∨ ( q ∧ r ) ≡ ( p ∨ q ) ∧ ( p ∨ r ) p ∧ ( q ∨ r ) ≡ ( p ∧ q ) ∨ ( p ∧ r ) |
| Identity | p ∧ T ≡ p p ∨ F ≡ p |
| Annihilation | p ∨ T ≡ T p ∧ F ≡ F |
| Complement | p ∨ ¬ p ≡ T p ∧ ¬ p ≡ F |
| Involution | ¬ ¬ p ≡ p |
| DeMorgan's | p ∨ q ≡ ¬ ( ¬ p ∧ ¬ q ) p ∧ q ≡ ¬ ( ¬ p ∨ ¬ q ) |
| Absorption | p ∧ ( p ∨ q ) ≡ p p ∨ ( p ∧ q ) ≡ p |
Find more facts
Further reference
Remember what Laws of logic means:
Other sources
Search for Laws of logic information on: amazon.com
Your reference for information, definition
http://explanation-guide.info/meaning/Laws-of-logic.html
Welcome, guest!
You are not logged in
Social bookmarks
Book search
Current topics
» NEW! "In the News"
» St. Patrick's Day
» Qashqai
» Bird flu, H5N1
» Space Shuttle
» Winter Sport, Ski
» Sports events
» World Cup 2006
» Anagram
» St. Patrick's Day
» Qashqai
» Bird flu, H5N1
» Space Shuttle
» Winter Sport, Ski
» Sports events
» World Cup 2006
» Anagram
Recent searches