Works matching Truth table (logic)

Results: 58

The Truth Table Formulation of Propositional Logic.

Published in:

Teorema, 2023, v. 42, n. 1, p. 123

By:

Haze, Tristan Grøtvedt

Publication type:

Article

An alternative teaching method of conditional probabilities and Bayes' rule: an application of the truth table.

Published in:

Teaching Statistics, 2015, v. 37, n. 3, p. 89, doi. 10.1111/test.12080

By:

Satake, Eiki;
Vashlishan Murray, Amy

Publication type:

Article

A framework for characterizing students’ thinking about logical statements and truth tables.

Published in:

International Journal of Mathematical Education in Science & Technology, 2015, v. 46, n. 3, p. 337, doi. 10.1080/0020739X.2014.979895

By:

Hawthorne, Casey;
Rasmussen, Chris

Publication type:

Article

Lógica cuántica, Nmatrices y adecuación, II.

Published in:

Teorema, 2023, v. 42, n. 1, p. 149

By:

Pablo Jorge, Juan;
Holik, Federico

Publication type:

Article

On Equivalent Truth-Tables of Many-Valued Logics.

Published in:

Proceedings of the Edinburgh Mathematical Society, 1958, v. 10, n. 2, p. 56, doi. 10.1017/S0013091500021404

By:

Kalicki, J.

Publication type:

Article

A paraconsistent route to semantic closure.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 4, p. 387, doi. 10.1093/jigpal/jzx009

By:

Barrio, Eduardo Alejandro;
Pailos, Federico Matias;
Szmuc, Damian Enrique

Publication type:

Article

Set‐theoretic Multimethod Research: The Role of Test Corridors and Conjunctions for Case Selection.

Published in:

Swiss Political Science Review, 2019, v. 25, n. 3, p. 253, doi. 10.1111/spsr.12382

By:

Schneider, Carsten Q.;
Rohlfing, Ingo

Publication type:

Article

RANDOM STRINGS AND TRUTH-TABLE DEGREES OF TURING COMPLETE C.E. SETS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 3, p. 1, doi. 10.2168/LMCS-10(3:15)2014

By:

CAI, MINGZHONG;
DOWNEY, RODNEY G.;
EPSTEIN, RACHEL;
LEMPP, STEFFEN;
MILLER, JOSEPH S.

Publication type:

Article

NEW OPERATIONS ON TRUTH TABLES.

Published in:

2016

By:

YÜKSEL, Yücel

Publication type:

Essay

Normal forms and functional completeness for four-valued languages.

Published in:

Bulletin of the Belgian Mathematical Society - Simon Stevin, 2015, v. 22, n. 4, p. 579, doi. 10.36045/bbms/1447856060

By:

Degauquier, Vincent

Publication type:

Article

Detecting small attractors of large Boolean networks by function-reduction-based strategy.

Published in:

IET Systems Biology (Wiley-Blackwell), 2016, v. 10, n. 2, p. 49, doi. 10.1049/iet-syb.2015.0027

By:

Qiben Zheng;
Liangzhong Shen;
Xuequn Shang;
Wenbin Liu

Publication type:

Article

QCA: A Package for Qualitative Comparative Analysis.

Published in:

R Journal, 2013, v. 5, n. 1, p. 87, doi. 10.32614/RJ-2013-009

By:

Thiem, Alrik;
Duşa, Adrian

Publication type:

Article

The Psychology of Uncertainty and Three-Valued Truth Tables.

Published in:

Frontiers in Psychology, 2018, p. 1, doi. 10.3389/fpsyg.2018.01479

By:

Baratgin, Jean;
Politzer, Guy;
Over, David E.;
Tatsuji Takahashi

Publication type:

Article

CORRIGENDUM TO "SETS WITH NO SUBSETS OF HIGHER WEAK TRUTH-TABLE DEGREE" REPORTS ON MATHEMATICAL LOGIC, 53 (2018), 3-17.

Published in:

Reports on Mathematical Logic, 2020, n. 55, p. 143, doi. 10.4467/20842589RM.20.007.12439

By:

CINTIOLI, Patrizio

Publication type:

Article

The Iota-Delta Function as an Alternative to Boolean Formalism.

Published in:

International Journal of Foundations of Computer Science, 2018, v. 29, n. 3, p. 415, doi. 10.1142/S0129054118500120

By:

Ozelim, Luan Carlos de Sena Monteiro;
Cavalcante, Andre Luis Brasil

Publication type:

Article

Optimization of Combinational Logic Circuits with Genetic Programming.

Published in:

Electronics & Electrical Engineering, 2013, v. 19, n. 7, p. 86, doi. 10.5755/j01.eee.19.7.5169

By:

Karakatic, S.;
Podgorelec, V.;
Hericko, M.

Publication type:

Article

Knot and Tonk: Nasty Connectives on Many-Valued Truth-Tables for Classical Sentential Logic.

Published in:

Analysis, 2016, v. 76, n. 1, p. 7, doi. 10.1093/analys/anv106

By:

BUTTON, TIM

Publication type:

Article

Truth tables for modal logics T and S4, by using three-valued non-deterministic level semantics.

Published in:

Journal of Logic & Computation, 2022, v. 32, n. 1, p. 129, doi. 10.1093/logcom/exab068

By:

Grätz, Lukas

Publication type:

Article

Test Your Logic Skills with Ovegam.

Published in:

Math Horizons, 2021, v. 28, n. 3, p. W2, doi. 10.1080/10724117.2020.1849918

By:

Shiv, Amir

Publication type:

Article

TrueBiters, an educational game to practice the truth tables of propositional logic: Development, evaluation, and lessons learned.

Published in:

Smart Learning Environments, 2019, v. 6, n. 1, p. 1, doi. 10.1186/s40561-019-0105-2

By:

De Troyer, Olga;
Lindberg, Renny;
Sajjadi, Pejman

Publication type:

Article

What Is an Inconsistent Truth Table?

Published in:

Australasian Journal of Philosophy, 2016, v. 94, n. 3, p. 533, doi. 10.1080/00048402.2015.1093010

By:

Weber, Zach;
Badia, Guillermo;
Girard, Patrick

Publication type:

Article

THE THEORY OF PROPOSITIONAL LOGICS IN REFERENCE OF STATEMENT CALCULUS.

Published in:

Bulletin of Pure & Applied Sciences-Mathematics, 2016, v. 35E, n. 1, p. 31, doi. 10.5958/2320-3226.2016.00004.7

By:

Tiwari, Jayesh K.;
Tiwari, Rajendra

Publication type:

Article

98.10 Associativity of symmetric set difference.

Published in:

Mathematical Gazette, 2014, v. 98, n. 542, p. 319, doi. 10.1017/s0025557200001364

By:

MacHALE, DES

Publication type:

Article

Modeling combinational circuits using neural network.

Published in:

Journal of College of Education, 2020, n. 1, p. 457

By:

Ahmed, Khalida Ali

Publication type:

Article

DESIGN OF COMBINATIONAL LOGIC CIRCUIT PROBER.

Published in:

Revista Academiei Fortelor Terestre, 2019, v. 24, n. 4, p. 317

By:

ABDULHAMID, Mohanad;
MASIMBA, Okoth

Publication type:

Article

Extended Boolean algebra for asynchronous quasi‐delay‐insensitive logic.

Published in:

IET Circuits, Devices & Systems (Wiley-Blackwell), 2020, v. 14, n. 8, p. 1201, doi. 10.1049/iet-cds.2020.0062

By:

Tran, Linh Duc;
Chi Pham, Thanh;
Kavehei, Omid;
Burton, Peter C.M.;
Matthews, Glenn I.

Publication type:

Article

A Quantum Approach for Text based Steganography.

Published in:

Grenze International Journal of Engineering & Technology (GIJET), 2024, v. 10, n. 1, Part 1, p. 576

By:

Naik, Darsana A.;
N, Pallavi;
P, Keerthi;
Rai, Abhinav Kumar;
Jha, Adarsh Kumar;
Bindal, Avaneesh;
Chauhan, Shubhi Singh

Publication type:

Article

Many-valued Logic in Multistate and Vague Stochastic Systems.

Published in:

International Statistical Review, 2008, v. 76, n. 2, p. 247, doi. 10.1111/j.1751-5823.2008.00049.x

By:

Sellers, Kimberly F.;
Singpurwalla, Nozer D.

Publication type:

Article

In-memory mechanical computing.

Published in:

Nature Communications, 2023, v. 14, n. 1, p. 1, doi. 10.1038/s41467-023-40989-1

By:

Mei, Tie;
Chen, Chang Qing

Publication type:

Article

Axiomatization and completeness of uncountably valued approximation logic.

Published in:

Studia Logica, 1994, v. 53, n. 1, p. 137, doi. 10.1007/BF01053027

By:

Rasiowa, Helena

Publication type:

Article

分辨矩阵在逻辑优化中的应用.

Published in:

Journal of Frontiers of Computer Science & Technology, 2021, v. 15, n. 7, p. 1332, doi. 10.3778/j.issn.1673-9418.2005006

By:

闫心怡;
温馨;
陈泽华

Publication type:

Article

基于STC15单片机逻辑1C检测器的设计与实现.

Published in:

Research & Exploration in Laboratory, 2017, v. 36, n. 10, p. 100

By:

车沛强;
冯志斌

Publication type:

Article

Control systems theory revisited: new insights on the brain clocks of time-to-action.

Published in:

Frontiers in Neuroscience, 2023, p. 1, doi. 10.3389/fnins.2023.1171765

By:

Ferber, Sari Goldstein;
Weller, Aron;
Soreq, Hermona

Publication type:

Article

Minimal reversible circuit synthesis on a DNA computer.

Published in:

Natural Computing, 2017, v. 16, n. 3, p. 463, doi. 10.1007/s11047-016-9553-6

By:

Sarkar, Mayukh;
Ghosal, Prasun;
Mohanty, Saraju

Publication type:

Article

Nonvolatile and reconfigurable two-terminal electro-optic duplex memristor based on III-nitride semiconductors.

Published in:

Light: Science & Applications, 2024, v. 13, n. 1, p. 1, doi. 10.1038/s41377-024-01422-4

By:

Xie, Zhiwei;
Jiang, Ke;
Zhang, Shanli;
Ben, Jianwei;
Liu, Mingrui;
Lv, Shunpeng;
Chen, Yang;
Jia, Yuping;
Sun, Xiaojuan;
Li, Dabing

Publication type:

Article

SAVING THE TRUTH SCHEMA FROM PARADOX.

Published in:

Journal of Philosophical Logic, 2002, v. 31, n. 1, p. 1, doi. 10.1023/A:1015063620612

By:

Field, Hartry

Publication type:

Article

Ultra-wideband, wide angle, asymmetric transmission based chiral metasurface for C and X band applications.

Published in:

Scientific Reports, 2021, v. 11, n. 1, p. 1, doi. 10.1038/s41598-021-91126-1

By:

Bokhari, Syed Hussain Ali;
Cheema, Hammad M.

Publication type:

Article

Logic Gates Based in Asymmetric Couplers: Numerical Analysis.

Published in:

Fiber & Integrated Optics, 2007, v. 26, n. 4, p. 217, doi. 10.1080/01468030701347072

By:

de Almeida, J. S.;
Menezes, J. W. M.;
Da Silva, M. G.;
Sombra, A. S. B.;
Fraga, W. B.;
Sales, J. C.;
Ferreira, A. C.;
Marciano, S. P.;
Filho, A. F. G. F.

Publication type:

Article

Decision Tables in Accounting.

Published in:

Accounting Review, 1966, v. 41, n. 3, p. 551

By:

Malcolm, Robert E.

Publication type:

Article

Non-distributive Relatives of ETL and NFL.

Published in:

Studia Logica, 2021, v. 109, n. 1, p. 137, doi. 10.1007/s11225-020-09904-3

By:

Kozhemiachenko, Daniil

Publication type:

Article

Developing Multiple-Actuator Pneumatic Circuits Using the Karnaugh Maps Designing PLC Controlled.

Published in:

Journal Européen des Systèmes Automatisés, 2023, v. 56, n. 2, p. 245, doi. 10.18280/jesa.560209

By:

Fawzi, AlZahraa N.;
Salloom, Maher Y.

Publication type:

Article

PATRONES INFERENCIALES.

Published in:

Crítica, 2008, v. 40, n. 120, p. 3, doi. 10.22201/iifs.18704905e.2008.993

By:

ASPEITIA, AXEL ARTURO BARCELÓ

Publication type:

Article

Design of a low power high speed 4-2 compressor using CNTFET 32nm technology for parallel multipliers.

Published in:

International Journal of Nano Dimension, 2019, v. 10, n. 1, p. 114

By:

Rahnamaei, Ali;
Fatin, Gholamreza Zare;
Eskandarian, Abdollah

Publication type:

Article

Case-based instruction in digital integrated circuit design courses for non-major students.

Published in:

International Journal of Electrical Engineering Education, 2014, v. 51, n. 3, p. 231, doi. 10.7227/IJEEE.51.3.5

By:

Chen, Shih-Lun;
Lai, Yu-Kuen;
Hu, Wei-Chih;
Chung, Wen-Yaw

Publication type:

Article

Some results on bounded truth-table degrees.

Published in:

Mathematical Logic Quarterly, 1990, v. 36, n. 3, p. 263, doi. 10.1002/malq.19900360311

By:

Ditchev, Angel V.

Publication type:

Article

Adapting Logic to Physics: The Quantum-Like Eigenlogic Program.

Published in:

Entropy, 2020, v. 22, n. 2, p. 139, doi. 10.3390/e22020139

By:

Toffano, Zeno;
Dubois, François

Publication type:

Article

Dynamic control of endogenous metabolism with combinatorial logic circuits.

Published in:

Molecular Systems Biology, 2018, v. 14, n. 11, p. N.PAG, doi. 10.15252/msb.20188605

By:

Moser, Felix;
Espah Borujeni, Amin;
Ghodasara, Amar N.;
Cameron, Ewen;
Park, Yongjin;
Voigt, Christopher A.

Publication type:

Article

HEYTING'İN ÜÇ DEĞERLİ MANTIĞI AÇISINDAN DİNÎ SÖZCELERİN DEĞERLENDİRİLMESİ.

Published in:

Journal of Social Sciences Institute / Sosyal Bilimler Enstitüsü Dergisi, 2016, v. 6, n. 11, p. 133

By:

OSMAN, Fikret

Publication type:

Article

Verifying the Truth of Statements About Police Electroshock Gun Safety: What Do We Know About Taser and Is It True or False?

Published in:

Internal Security, 2024, v. 16, n. 1, p. 151, doi. 10.5604/01.3001.0054.7099

By:

Kocurkova, Karolina;
Hrinko, Martin

Publication type:

Article

A multifunctional fluorescent sensor for Ag<sup>+</sup> and Hg<sup>2+</sup> detection in seawater.

Published in:

Environmental Monitoring & Assessment, 2024, v. 196, n. 1, p. 1, doi. 10.1007/s10661-023-12217-2

By:

Zhang, Jingjing;
Deng, Ziqi;
Feng, Hongbo;
Shao, Bingqian;
Liu, Debing

Publication type:

Article