maanantai 2. syyskuuta 2013

2.9 AND, OR, NOT, NOR, NAND, XOR, XNOR



AND (ja) logiikassa käytettty symboli  \and. "Kun molemmat ovat tosia."

kaava:


(p_0 \ and \ p_1) \Leftrightarrow (p_0 \and p_1)



OR(tai) symbolina \or: kun joku on tosi:


(p_0 \ or \ p_1) \Leftrightarrow (p_0 \or p_1)






NOT (ei) symbolina \overline{A} tai \not{}\neg , ei toimi, kun kytkin päällä.



(\ NOT\;p_0) \Leftrightarrow (\neg p_0)




NOR (ei-tai), kun molemmat ovat epätosia:


 (p_0 \ nor \ p_1) \Leftrightarrow (\overline{p_0 \or p_1})




NAND (ei-ja), symbolina \overline{\and}. Tarkoitus: ei molemmat







 (p_0 \ nand \ p_1) \Leftrightarrow (\overline{p_0 \and p_1}).




XOR (ehdoton tai), symboleina ovat \oplus ja  \underline{\or} . Sen merkitys: toinen ja vain toinen on tosi.






kaavana:


(p_0 \ xor \ p_1) \Leftrightarrow (p_0 \and \neg p_1) \or (\neg p_0 \and p_1)





XNOR (sama), molemmat ovat tosia tai molemmat ovat epätosia.






(p_0 \ xnor \ p_1) \Leftrightarrow \overline{(p_0 \and \neg p_1) \or (\neg p_0 \and p_1)}












Ei kommentteja:

Lähetä kommentti