logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] con particolare rifer. agli elaboratori elettronici: v. circuiti logici. ◆ [ELT] Famiglia l.: insieme di circuiti le variabili xi hanno tutte valore 1; (c) l'inversione o negazione (operazione NOT) di una variabile, come l'operazione il cui risultato ...
Leggi Tutto
barra
barra [Etimo incerto] [LSF] Denomin. generica di strutture parallelepipoidi relativ. lunghe e di non grande sezione. ◆ [ALG] [ANM] Lineetta, orizzontale od obliqua, che indica una divisione; sovrapposta [...] sul simbolo di un'operazione, anche logica, indica "non", cioè la negazione dell'operazione indicata: per es., ≠ significa "non uguale" e A⊄B significa "A non contiene B". ◆ [ASF] Struttura ellissoidica che è spesso presente nelle galassie ...
Leggi Tutto
coerente
coerènte [agg. Der. del part. pres. cohaerens -entis del lat. cohaerere "essere strettamente unito"] [LSF] Oltre che nel signif. proprio, il termine è usato, figurat., per indicare qualcosa [...] che per sovrapposizione interferiscono tra loro. ◆ [ANM] Calcolo c.: nella logica matematica, calcolo in cui non sono dimostrabili contemporaneamente un'espressione e la sua negazione; è sinon. di non contraddittorio. ◆ [OTT] Emissione c.: quella in ...
Leggi Tutto
NAND
NAND 〈nènd〉 [Der. dell'ingl. n(ot), "non" e and "e"] [INF] Simb. dell'operazione logica di inversione, o negazione, del prodotto logico AND (=AB) di due elementi A e B, cioè AB-, e realizzabile [...] in vari modi; anche denomin. di un tipo di porta logica che realizza ciò; la fig. mostra il simb. grafico della porta NAND e la tavola di verità della funzione NAND. ...
Leggi Tutto
negazione
negazióne s. f. [dal lat. negatio -onis]. – 1. a. L’atto del negare, e l’espressione con cui si nega (il contrario di affermazione): una n. recisa, timida, ostinata; la n. di una verità, di un fatto, di un concetto; la n. dell’evidenza;...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...