Logical conditions in programming languages: review, discussion and generalization

Nagy, Benedek, Abuhmaidan, Khaled, Aldwairi, Monther (2023) Logical conditions in programming languages: review, discussion and generalization Annales Mathematicae et Informaticae. 57. pp. 65-77. ISSN 1787-6117 (Online)

pdf 65_77.pdf Download (633kB) [error in script]

Absztrakt (kivonat)

Boolean logic is widely used in almost every discipline including linguistics, philosophy, mathematics, computer science and engineering. Boolean logic is characterized by the two possible truth values, and various logical connectives/operations allow us to make compound statements, conditions. Most of the programming languages, if not all, have some of the logic operations: conjunction, disjunction and negation. Actually, since the set of these three operations form a basis, any logical statement can be formed by them. However, on the one hand, there are smaller bases as well, i.e., one of the conjunction or disjunction is already superfluous. Moreover, there are bases with only one operation, e.g., by NAND. On the other hand, one may allow other operations helping the programmer/user to define the conditions of conditional statements and loops in a simpler manner. In this paper we discuss these issues, including some practical points, implementation issues and short cut evaluations for various operations.

Mű típusa:	Folyóiratcikk - Journal article
Szerző:	Szerző neve Email MTMT azonosító ORCID azonosító Közreműködés Nagy, Benedek NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Abuhmaidan, Khaled NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző Aldwairi, Monther NEM RÉSZLETEZETT NEM RÉSZLETEZETT NEM RÉSZLETEZETT Szerző
Megjegyzés:	This research was supported by Zayed University, Research Office, Research Incentive Fund Award #R20089.
Kapcsolódó URL-ek:	Folyóirat honlapja
Kulcsszavak:	High level programming languages, conditional statements, loop conditions, logical connectives, short cut evaluation, formal logic
Nyelv:	angol
Kötetszám:	57.
DOI azonosító:	10.33039/ami.2023.04.002
ISSN:	1787-6117 (Online)
Felhasználó:	Tibor Gál
Dátum:	28 Ápr 2023 08:59
Utolsó módosítás:	11 Aug 2023 06:57
URI:	http://publikacio.uni-eszterhazy.hu/id/eprint/7637

Műveletek (bejelentkezés szükséges)

Tétel nézet