Why is this statement of logical equivalence true? f ∨ g ∧ h ≡ (f ∨ g) ∧ (f ∨ h)
Why is this statement of logical equivalence true?
f ∨ g ∧ h ≡ (f ∨ g) ∧ (f ∨ h)
I made the truth tables below, and this statement doesn´t hold--it isn't a logical equivalence. However, according to the exercise it is.
f ∨ g ∧ h:
(f ∨ g) ∧ (f ∨ h):
Have a close look at the way the equivalence is denoted:
no parenthesis on the left side, two on the right specifying the disjunctions to be evaluated first.
If this was the conventional logical operator precedence, both pairs of parentheses were dispensable.
If left to right evaluation was conventional, the first pair was redundant: the convention actually is conjunction before disjunction (and the equivalence is denoted correctly as well as irredundant).
So, the f ∨ g column in your first table is immaterial, if correct.
The f ∨ g ∧ h column is inconsistent: the label with explicit parentheses would need to be f ∨ (g ∧ h), the values tabulated are for (f ∨ g) ∧ h.
- Loop Java HashMap like Python Dictionary?
- Data structures equivalents of STL containers
- Java Regular Expressions equivalent to PCRE/etc. shorthand `\K`?
- XSLT equivalent for JSON
- Subset a list with two non-consecutive slices in Python
- Is there a Windows user space API similar to VFIO for Linux for writing drivers for custom hardware?
- Why is this statement of logical equivalence true? f ∨ g ∧ h ≡ (f ∨ g) ∧ (f ∨ h)
- How to do a ls -d in powershell
- Python equivalent of Java synchronized
- Is there a C++ equivalent of the variable discard '_' in C#?
- Equivalent of Lodash’s .maxBy in JavaScript
- How to change the delimiter in PostgreSQL
- Readable C# equivalent of Python slice operation
- Does .NET have an equivalent of **kwargs in Python?
- is there a Java equivalent to null coalescing operator (??) in C#?
- PHP equivalent of javascript JSON.stringify()
- Python equivalent to R's layout() for arbitrary grids
- How would you do the equivalent of preprocessor directives in Python?
- What's the C++ idiom equivalent to the Java static block?
- Equivalence between shift() function (Python) and lead() function (R)
- A clearcase equivalent of svn blame / git blame?
- Pure JavaScript equivalent of jQuery click()?
- R's equivalent of Python's np.select(conditions, choices)
- What is the C# equivalent of Java's getComponentType()?
- Python Equivalent to Ruby's #each_cons?
- Python equivalent of lua bit32.bxor
- equivalent code of 'open with' in python script
- How to get character's equivalent from another TextInput using PySimpleGUI?
- TypeError: list indices must be integers or slices, not list
- Need PHP 8 version of C#/.NET encryption code