Refexive an axb)xc=axbxc) laxb)+C=
and the Aaxlbe) a Distibuttve
mahematical thesult affec+
Dot The
aRAate
nsitve DistoibuHve
=aUB)N
ubnc)
LaVC lauws
fndamentat
Satistsied
propesthes equi
Assoclative
laws doenot
tanive
zebton elation aB0Ciate
valence atlbtc)
boopesty
K poþes
)hba.
a,b, ab
is aybtaxC maHes J
Stasa)hae
èd selatton on expxession t3atethat
cesil eflexive, Seti
called tate
multplynt
nuinbes>
ab)
ac) be if
ttat
(b) symnltic and o
the
only add when
must fton
if
n-3an-42ah2=0
Recissive.
seat02
toith LACornmutattNe
element hati%
has sin
5)n4)9an= t
>+2)=o An-=0
l+2til 3+2 =O adHon amulliþlicxtive.
s
eR
4 ang
arnd
ong.
hese
such
huHþlicattohA woith
that ah-Tdentty
unity
ba
fox
Mongid
Ablelian smpup
gupclouse Algebsic
Assoctattue
Semi Exanpleelement Such
dhat
SemigtpLS,*)Ascalled
(Non>en Jby
se DE A
(ax
Tdentity34D=O+3 =
Structae eZ
Gmo4 >CloZ Asscattve e)
ee._CondHon
exizlpanelcme
hs á
+identty
Ascaoctate
lowset
h callediden
LTe ea)=a
+ontatNe 3+5eZ
CloseeetAssck KO
Assocate0Closwsepo 2+l3+)
tity
=+1)z vacc
elenent
monoid
dert pesty
Seqiue
seuence
pooexDaahle.vatba
anenfmcton,
Examþle=L3,
Fnction 5,t,--
ffcoent
ly
abewsed
sebsesert to
whese
nD Codny
the'
texms
-Can
Sa ehsesendacd
tatementthat
-izmplres)
ete) ard wih
poox
Bc them
mathernatices,
Tndéscete often
LA, S
s.tadement
if’ Cy oeo
"He
etter
declasitive. ate Poopositon
Logic
A
only mmetxn
04 bem and
negating.
ropositions
Capital
posiltond U
Meef
Uoin
DR
ton
Ifand
Cont Examþle=
a
fos
eVen Degation
indlv
amye Noda
leboiows
Pao AND The
XOR
HHHuH TO
T
T
HH HH
tonrol iataislg
T
P T
Lo
ith andee
&apastialy
ebsesotoatton
exanbie kaah
omntu
gaphicoal
hassedom
debieset
am
w
Cometed
hese
and l2<bi
6, f
divisible
b}
a
vestex 3, b NÒ
self
edge.
ubiccasd
bseatad
edge 2,
S dvides,
a Hasse
Dagh
Hasse.
as too
vextces a point
the. POSET
Define Set
O
3achoR 3Pach Joglca2J
sefess toIn
0t D
AHLB+)
B)=LA+B). t+A.c)+Bc
litesols. af FLAB,c)
=(AB)
itesals Sum
muliple Boolean
AND Dpesttons
ofThe
aconjucton
Ohetattor)
AND a
esm LS
tesmiS algebsuanoanalLfop
disjucton
cnuctto expresssa
Boolean
oduot usin
standasdoay o
Calle a
caled n SoP)
oheatto) OR
CAND
min
tem aY tasn teom)
m
Date
Page No.
Sechen
|2.0 ifx=i2,3 = (P.e? and z=ab and the
functens f and a ane define as:
I:-y> z be g = {CP.),(4bJ? the ind fog and gof
Ans
Since g takes input taern y nd aives Qutput In
Z,weapplg gto the outpuk tf te
So Alf()) =aa w
So. ((2))= a
ö0 g(f3)) =b
Jhus,
gof ={l4a) 2,4) B, b)
Finding fog (i-e., fla lyl));
maps ele mens foxmy toz bu
fis
f defined fos X’ not from
Z. This means fog js ot Possble
because q(y) belong 40 Z, anfis
Thusi
fog coes not exist
Date
Page No.
2.C Shôu) that (pesg)n(ge>)>l94) i's aTautdoxy.
( P e )algey)> Lpe)
Ans3
Biconditional penloe
Step : undersBanding the
bicondaiona A >B fstue when both
Ihe alue
and B haye he same touth
A false, and false bthesise
(both ue 0s bath
Table
|Step2:- Constoucting the Tauth
Pl2 pe2eTpe(pe>) n2)(P1Fina)Resut
(Pg)N9r)>
TITT TT
TI F
PTF T F T
F T
T T
F, T
step3:- Analyz fng the Final colunmn.
The fína) Column gepsesente the ogical staêmte
Stepyi- (onckten
Since the 'ren logcal expzessien is
alay! true it is q Tutology
Thys, Ne have Sucessfully 3houn thot
oion
Homogenouz
Coespndi
2n
+2+2(0+2)=0
22
Lant+4an
n+ (+)-0
bc+) tem
=0
4
4Lt2
+ A.2n
an=
Hongqenol&
Non-
let
On
Ch+| =A,M+1
CAn+ ,n+2
SubsianLulA2n+) 44|A2)=27
CommoT A:2 0n the Lef4 sid e
Thus basiclax Solutton s
nenesal sotton 0f
Al-2)+Dl-2t22
PAGE NO:
DATE
The divisibility Te lation meang thast
ox elemen a,b e L, alb and
Lowes Ubhebond
2 2 612
2
2 2 2 12 4 12 12
3 123 12 12
12 12
1
1 12
PAGENO
CTE:
346
3
4
3
3y 6 l
Hasse dtagam À latice
Relatton
Aselatton3 c set o oxdeced
paba hat show3 the Connectton
betoeen stoo setx
he eladian s)l6)|3.-&)3,9)
3,-3) polleotfon o asdesedhaly
paiy
a selatton heo
each npyt has only cnd.anly
e The ahcttons)613,3)
LS,-3)use atfom )heke
each nhut has enaty one
Quthut
Reladion
A 6elaion a
anctto
lattm ith
oseach
input
padduct
A Relaton Ation
denoted. by R dendted b
R= 2,2) \91) f=l352
3,2) (2,K) )(.a)
Evey Reation e Evey fnctfan
xelot
PIA NG) = plA) n PB)
Let
PADS)S PA)n P l B ) 0
ycA and y eB
eANB
PUADB) PA) O B
