логічна операція, за якою твердження, складене з двох або більше тверджень, є істинним, якщо кожне з цих тверджень є істинним. В іншому випадку складене твердження є хибним. Аналог сполучника «і» в природній мові.