The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+13 votes
727 views

A logical binary relation $\odot$, is defined as follows: 

$A$ $B$ $A\odot B$ 
True True True
True False True
False True False
False False True

 

Let $\sim$ be the unary negation (NOT) operator, with higher precedence then $\odot$.

Which one of the following is equivalent to $A\wedge B$ ?

  1. $(\sim A\odot B)$
  2. $\sim(A \odot \sim B)$
  3. $\sim(\sim A\odot\sim B)$
  4. $\sim(\sim A\odot B)$
asked in Set Theory & Algebra by Loyal (4.3k points)
retagged by | 727 views
plz someone answer it, using truth table method
Oher way

Use kmap to obtain expression, then try to match with options.
We can also used truth table bcz they have only two variables

5 Answers

+19 votes
Best answer
This question is easier to Answer With Boolean Algebra ->

$A\bigodot B= B\to A$, i.e. $(\neg B\vee A).$

now,

Lets look at Option D

$\neg (\neg A\bigodot B)$

$=\neg (B\to \neg A)$

$=\neg (\neg B\vee \neg A)$

$=B\wedge A$

So Answer is D.

Other options ->

A) $\neg B\vee \neg A$

B) $\neg B\wedge \neg A$

C) $\neg B\wedge  A$
answered by Veteran (49.5k points)
edited by
+6 votes

This truth table is of B->A ie B' V A

so operator given in question is implication

we want A ∧B

which is B'->A'

so ans is d

answered by Veteran (34.3k points)
@pooja, Option b = ~b ∧ ~a.
Similar que was asked In gate2009 it was asked for or there...i have answered it for gate 2009 i think answer was uploaded at wrong place..sry for that yes ans should be d for this que
+5 votes
Instead of checking all the answers, we can approach similar problems by finding out the relationship between the given operation and the one which we have to express.

Here,
\begin{align} A\odot B &= AB+A\bar B+\bar A \bar B\\ &= A+\bar B \\ &=\overline{\bar{A}B}  \end{align} $$ \overline{A\odot B} = \bar AB \implies AB = \color{red}{\overline{\bar A \odot B}}$$
answered by Boss (6.6k points)
edited by
nice thinking ....
0 votes

therefore option D is correct

answered by (29 points)
–1 vote
Option d
answered by Boss (5.9k points)


Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

33,646 questions
40,193 answers
114,178 comments
38,664 users